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

Parents

Set

Subset of

Link to graph
Log In
Improvements of the human condition