Category:Definitions/Tychonoff Plank