for D being non empty set
for f being non empty homogeneous PartFunc of (D *),D
for n being Element of NAT st dom f c= n -tuples_on D holds
arity f = n