:: deftheorem defines relatively_open WAYBEL34:def 9 :
for S, T being TopSpace
for f being Function of S,T holds
( f is relatively_open iff for V being open Subset of S holds f .: V is open Subset of (T | (rng f)) );