Definition:Strictly Positive/Rational Number

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.