Definition:Negation Function/Rational

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