for A being non empty set
for n being Nat
for f being Function of (n -tuples_on A),A holds
( f is non empty homogeneous quasi_total PartFunc of (A *),A & ( for g being homogeneous Function st f = g holds
g is n -ary ) )