Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
strictly_positive_real_number [2013/05/14 23:28] nikolaj removed |
strictly_positive_real_number [2013/09/03 01:00] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | /* graph */ | ||
===== Strictly positive real number ===== | ===== Strictly positive real number ===== | ||
==== Definition ==== | ==== Definition ==== | ||
- | $ \mathbb{R_{>0}} $ | + | | @#FFBB00: $ \mathbb R_+^* \equiv \mathbb R_+ \cap \mathbb R_* $ | |
==== Ramifications ==== | ==== Ramifications ==== | ||
+ | === Reference === | ||
+ | ProofWiki: [[http://www.proofwiki.org/wiki/Definition:Strictly_Positive|Strictly Positive]] | ||
==== Context ==== | ==== Context ==== | ||
- | 13050411 | + | === Subset of === |
- | == Requirements == | + | [[Non-negative real number]], [[Non-zero real number]] |
- | [[real number]] | + | |
- | >I'll have to check which set actually comes first in the TG axiomatization. | + | |
- | == Generalizations == | + | |
- | == Computation == | + | |
- | ==== Elaboration ==== | + | |
- | == Reference == | + | |
- | [[http://en.wikipedia.org/wiki/Real_number|Real number on wikipedia]] | + |