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