for f being NAT * -defined homogeneous Function holds dom f c= (arity f) -tuples_on NAT