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