Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
non-negative_extended_real_number_line [2013/08/04 21:09] nikolaj created |
non-negative_extended_real_number_line [2016/04/09 15:48] (current) nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Non-negative extended real number line ===== | ===== Non-negative extended real number line ===== | ||
- | ==== Definition ==== | + | ==== Set ==== |
- | | @#55EE55: $ x\in\overline{\mathbb R}_+ $ | | + | | @#55EE55: postulate | @#55EE55: $ x\in\overline{\mathbb R}_+ $ | |
- | + | | @#55EE55: postulate | @#55EE55: $ x\in\overline{\mathbb R} \land x\ge 0 $ | | |
- | | @#55EE55: $ x\in\overline{\mathbb R} \land x\ge 0 $ | | + | |
==== Ramifications ==== | ==== Ramifications ==== | ||
Line 9: | Line 8: | ||
Wikipedia: [[http://en.wikipedia.org/wiki/Extended_real_number_line|Extended real number line]] | Wikipedia: [[http://en.wikipedia.org/wiki/Extended_real_number_line|Extended real number line]] | ||
- | ==== Context ==== | + | ==== Parents ==== |
Set | Set | ||
=== Subset of === | === Subset of === | ||
[[Extended real number line]] | [[Extended real number line]] |