:: deftheorem Def15 defines ClMap ROUGHS_2:def 15 :
for T being TopSpace
for b₂ being Function of (bool the carrier of T),(bool the carrier of T) holds
( b₂ = ClMap T iff for X being Subset of T holds b₂ . X = Cl X );