theorem Th38: :: YELLOW12:38

for T being non empty TopSpace holds delta the carrier of T is continuous Function of T,[:T,T:]