Processing math: 100%

Non-negative rational number

Set

definiendum r∈Q+
context r∈Q
postulate r≥0

Discussion

Reference

Wikipedia: Rational number

Parents

Refinement of

Non-negative real number

Subset of

Rational number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms