This is an old revision of the document!
Non-negative real number
Set
| context | $ r \in \mathbb R $ |
| definiendum | $ r \in\mathbb R_+ $ |
| postulate | $ r \ge 0 $ |
Discussion
Reference
Wikipedia: Real number
Parents
Subset of
This is an old revision of the document!
| context | $ r \in \mathbb R $ |
| definiendum | $ r \in\mathbb R_+ $ |
| postulate | $ r \ge 0 $ |
Wikipedia: Real number
