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