Definition:Negation Function/Rational

From ProofWiki
Jump to navigation Jump to search

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$