Arity

Relation

The number of sets that comprise a Relation. With Cartesian Product $A_1\times A_2\times \cdots \times A_n$, with $n$ as the arity.

Function

The number of arguments for a given function.

• Nilad: 0 arguments
• Monad: 1 argument
• Dyad: 2 argument