\begin{definition}[Definition:Negation Function/Integer]
The negation function $h: \Z \to \Z$ is defined on the set of integers as:
:$\forall n \in \Z: \map h n = -n$
Category:Definitions/Negation Functions
Category:Definitions/Integers
\end{definition}