theorem :: FINTOPO8:30

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