Definition:Strictly Positive/Rational Number

From ProofWiki
Jump to navigation Jump to search

Definition

The strictly positive rational numbers are the set defined as:

$\Q_{>0} := \set {x \in \Q: x > 0}$

That is, all the rational numbers that are strictly greater than zero.