Definition:Positive/Rational Number

Definition
The positive rational numbers are the set defined as:
 * $\Q_{\ge 0} := \left\{{x \in \Q: x \ge 0}\right\}$

That is, all the rational numbers that are greater than or equal to zero.