theorem Th7: :: TSEP_1:7

for X being TopSpace
for X1 being SubSpace of X
for X2 being SubSpace of X1 holds X2 is SubSpace of X