Arity

Summary

The arity of an operation, a function or a relation is the number of arguments it takes. An operation of arity $n$ is called $n$-ary: nullary for $0$, unary for $1$, binary for $2$ and ternary for $3$. Arities are part of every signature, and they tell what kind of interpretation each symbol gets in a structure.