:: deftheorem Def32 defines Relation QC_LANG1:def 32 :
for A being QC-alphabet
for b₂ being Relation holds
( b₂ is Relation of A iff b₂ well_orders (QC-symbols A) \ NAT );