Definition:Negation Function/Integer

Definition
The negation function $h: \Z \to \Z$ is defined on the set of integers as:
 * $\forall n \in \Z: \map h n = -n$