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