theorem Th43: :: TOPS_2:43

for X, Y being TopStruct
for f being Function of X,Y st ( [#] Y = {} implies [#] X = {} ) holds
( f is continuous iff for P being Subset of Y st P is open holds
f " P is open )