theorem :: TOPS_2:47

for T being TopStruct
for S being non empty TopStruct
for f being Function of T,S
for H being Subset-Family of S st f is continuous & H is open holds
for F being Subset-Family of T st F = (" f) .: H holds
F is open