 The above describes what is usually called a finitary operation, referring to the finite number of operands (the value "n").There are obvious extensions where the arity is taken to be an infinite ordinal or cardinal, or even an arbitrary set indexing the operands.Often, the use of the term "operation" implies that the domain of the function includes a power of the codomain (i.e.