:: deftheorem Def5 defines CastBool MODELC_1:def 5 :
for X being set
for a being object holds
( ( a in bool X implies CastBool (a,X) = a ) & ( not a in bool X implies CastBool (a,X) = {} ) );