\begin{definition}[Definition:Negative/Real Number]
The '''negative real numbers''' are the set defined as:
:$\R_{\le 0} := \set {x \in \R: x \le 0}$
That is, all the real numbers that are less than or equal to zero.
\end{definition}