:: deftheorem Def16 defines boolean-valued MARGREL1:def 16 :
for f being Relation holds
( f is boolean-valued iff rng f c= BOOLEAN );