Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
strictly_positive_real_number [2013/05/14 23:28] nikolaj removed |
strictly_positive_real_number [2013/05/20 18:47] nikolaj created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | /* graph */ | ||
| ===== Strictly positive real number ===== | ===== Strictly positive real number ===== | ||
| ==== Definition ==== | ==== Definition ==== | ||
| - | $ \mathbb{R_{>0}} $ | + | ^ $ \mathbb R_+^* $ ^ |
| + | |||
| + | ^ $ \mathbb R_+ \cap \mathbb R_* $ ^ | ||
| ==== Ramifications ==== | ==== Ramifications ==== | ||
| + | === Reference === | ||
| + | ProofWiki: [[http://www.proofwiki.org/wiki/Definition:Strictly_Positive/Real_Number|Strictly Positive/Real Number]] | ||
| ==== Context ==== | ==== Context ==== | ||
| - | 13050411 | + | Set |
| - | == Requirements == | + | === Subset of === |
| - | [[real number]] | + | [[Non-negative real number]], [[Non-zero 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]] | + | |
