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

Extended real number line