:: deftheorem Def4 defines relational NUMBER17:def 4 :
for A being set holds
( A is relational iff for a being object st a in A holds
a is Relation );