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