Definition:Negation Function/Real

Definition
The negation function $h: \R \to \R$ is defined on the set of real numbers as:
 * $\forall x \in \R: \map h x = -x$