===== Non-negative extended real number line =====
==== Set ====
| @#55EE55: postulate   | @#55EE55: $ x\in\overline{\mathbb R}_+ $ |
| @#55EE55: postulate   | @#55EE55: $ x\in\overline{\mathbb R} \land x\ge 0 $ |

==== Ramifications ====
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Extended_real_number_line|Extended real number line]]

==== Parents ====
Set
=== Subset of ===
[[Extended real number line]]