theorem :: FINTOPO8:33

for NTX, NTY being NTopSpace
for f being Function of NTX,NTY holds
( f is continuous iff for O being closed Subset of NTY holds f " O is closed Subset of NTX ) by Lm27;