Definition:Negative of Real Number

Definition
Let $x \in \R$ be a real number

The negative of $x$ is denoted $-x$ and is defined as:
 * $-x := y \in \R: x + y = 0$

That is, $-x$ is the additive inverse of $x$ in $\R$.

Also see

 * Inverse for Real Addition