theorem :: FINTOPO8:31

for NTX, NTY being NTopSpace
for f being Function of NTX,NTY st ( for S being open Subset of NTY holds f " S is open Subset of NTX ) holds
f is continuous by Lm26;