\begin{definition}[Definition:Negative of Real Number]
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$.
\end{definition}