This is an old revision of the document!

## Non-negative extended real number line

### Set

 postulate $x\in\overline{\mathbb R}_+$
 postulate $x\in\overline{\mathbb R} \land x\ge 0$

Set