Definition:Positive/Rational Number

From ProofWiki
Jump to navigation Jump to search

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.