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 [2014/03/21 11:11] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | /* graph */ | ||
| ===== Strictly positive real number ===== | ===== Strictly positive real number ===== | ||
| - | ==== Definition ==== | + | ==== Set ==== |
| - | $ \mathbb{R_{>0}} $ | + | | @#FFBB00: definiendum | @#FFBB00: $ \mathbb R_+^* \equiv \mathbb R_+ \cap \mathbb R_* $ | |
| ==== Ramifications ==== | ==== Ramifications ==== | ||
| - | ==== Context ==== | + | === Reference === |
| - | 13050411 | + | ProofWiki: [[http://www.proofwiki.org/wiki/Definition:Strictly_Positive|Strictly Positive]] |
| - | == Requirements == | + | ==== Parents ==== |
| - | [[real number]] | + | === Subset of === |
| - | >I'll have to check which set actually comes first in the TG axiomatization. | + | [[Non-negative real number]], [[Non-zero real number]] |
| - | == Generalizations == | + | |
| - | == Computation == | + | |
| - | ==== Elaboration ==== | + | |
| - | == Reference == | + | |
| - | [[http://en.wikipedia.org/wiki/Real_number|Real number on wikipedia]] | + | |
