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