theorem Th44: :: TOPS_2:44

for T, S being TopSpace
for f being Function of T,S holds
( f is continuous iff for P1 being Subset of S holds Cl (f " P1) c= f " (Cl P1) )