Definition:Negation Function/Real

From ProofWiki
Jump to navigation Jump to search

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$