:: deftheorem Def21 defines -ary COMPUT_1:def 21 :
for n being set
for f being homogeneous Relation holds
( f is n -ary iff arity f = n );