Non-negative real number
Set
definiendum
$ r \in\mathbb R_+ $
postulate
$ r \ge 0 $
Discussion
Reference
Wikipedia:
Real number
Parents
Subset of
Real number