Non-negative rational number

Set

definiendum $ r \in\mathbb Q_+ $
context $ r \in \mathbb Q $
postulate $ r \ge 0 $

Discussion

Reference

Wikipedia: Rational number

Parents

Refinement of

Non-negative real number

Subset of

Rational number