\begin{definition}[Definition:Operation/Unary Operation]
A '''unary operation''' is the special case of an operation where the operation has exactly one operand.
Thus, a '''unary operation''' on a set $S$ is a mapping whose domain and codomain are both $S$.
\end{definition}