theorem Th3: :: TOPS_4:3

for X, Y being non empty TopSpace
for f being Function of X,Y holds
( f is open iff for p being Point of X
for V being open Subset of X st p in V holds
ex W being open Subset of Y st
( f . p in W & W c= f .: V ) )