\begin{definition}[Definition:Operation/Arity]
The '''arity''' of an operation is the number of operands it uses.
The '''arity''' of an operation may be, in general, any number.
It may even be infinite.
\end{definition}