Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
non-negative_real_number [2013/09/03 00:56] nikolaj |
non-negative_real_number [2014/11/20 13:00] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Non-negative real number ===== | ===== Non-negative real number ===== | ||
- | ==== Definition ==== | + | ==== Set ==== |
- | | @#FFBB00: $ r \in\mathbb R_+ $ | | + | | @#FFBB00: definiendum | @#FFBB00: $ r \in\mathbb R_+ $ | |
- | + | | @#55CCEE: context | @#55CCEE: $ r \in \mathbb R $ | | |
- | | @#88DDEE: $ r \in \mathbb R $ | | + | | @#55EE55: postulate | @#55EE55: $ r \ge 0 $ | |
- | + | ||
- | | @#55EE55: $ r \ge 0 $ | | + | |
==== Discussion ==== | ==== Discussion ==== | ||
==== Reference ==== | ==== Reference ==== | ||
Wikipedia: [[http://en.wikipedia.org/wiki/Real_number|Real number]] | Wikipedia: [[http://en.wikipedia.org/wiki/Real_number|Real number]] | ||
- | ==== Context ==== | + | ==== Parents ==== |
=== Subset of === | === Subset of === | ||
[[Real number]] | [[Real number]] |