theorem :: FINTOPO8:32

for NTX, NTY being NTopSpace
for f being Function of NTX,NTY holds
( f is continuous iff for O being open Subset of NTY holds f " O is open Subset of NTX )