Unary function

In mathematics, a unary function is a function that takes one argument. A unary operator belongs to a subset of unary functions, in that its range coincides with its domain. In contrast, a unary function's domain may or may not coincide with its range.

Examples

The successor function, denoted $\operatorname {succ}$ , is a unary operator. Its domain and codomain are the natural numbers, its definition is as follows:

{\begin{aligned}\operatorname {succ} :\quad &\mathbb {N} \rightarrow \mathbb {N} \\&n\mapsto (n+1)\end{aligned}}

In many programming languages such as C, executing this operation is denoted by postfixing ${\mathrel {+{+}}}$ to the operand, i.e. the use of $n{\mathrel {+{+}}}$ is equivalent to executing the assignment $n:=\operatorname {succ} (n)$ .