Non-negative real number

Set

definiendum $ r \in\mathbb R_+ $
postulate $ r \ge 0 $

Discussion

Reference

Wikipedia: Real number

Parents

Subset of

Real number