theorem Th5: :: TSP_1:5

for Y being non empty TopStruct
for A, B being Subset of Y st B c= A & A is T_0 holds
B is T_0 ;