theorem Th53: :: YELLOW16:54

for T being non empty TopSpace
for S being non empty SubSpace of T holds incl (S,T) is continuous