theorem Th2: :: TSEP_1:2

for X being TopStruct holds X is SubSpace of X