for X being TopStruct holds X is SubSpace of X