for X being TopStruct holds X is SubSpace of One-Point_Compactification X