:: deftheorem Def12 defines boolean MARGREL1:def 12 :
for x being object holds
( x is boolean iff x in BOOLEAN );