:: deftheorem defines open-valued ROUGHS_2:def 18 :
for T being TopSpace
for f being Function of (bool the carrier of T),(bool the carrier of T) holds
( f is open-valued iff for X being Subset of T holds f . X is open );