:: deftheorem Def16 defines IntMap ROUGHS_2:def 16 :
for T being TopSpace
for b₂ being Function of (bool the carrier of T),(bool the carrier of T) holds
( b₂ = IntMap T iff for X being Subset of T holds b₂ . X = Int X );