Definition:Negation Function/Integer

From ProofWiki
Jump to navigation Jump to search

Definition

The negation function $h: \Z \to \Z$ is defined on the set of integers as:

$\forall n \in \Z: \map h n = -n$