Non-negative extended real number line
Set
| postulate | $ x\in\overline{\mathbb R}_+ $ |
| postulate | $ x\in\overline{\mathbb R} \land x\ge 0 $ |
Ramifications
Reference
Wikipedia: Extended real number line
Parents
Set
Subset of
| postulate | $ x\in\overline{\mathbb R}_+ $ |
| postulate | $ x\in\overline{\mathbb R} \land x\ge 0 $ |
Wikipedia: Extended real number line
Set
