===== Strictly positive real number =====
==== Set ====
| @#FFBB00: definiendum | @#FFBB00: $ \mathbb R_+^* \equiv \mathbb R_+ \cap \mathbb R_* $ |

==== Ramifications ====
=== Reference ===
ProofWiki: [[http://www.proofwiki.org/wiki/Definition:Strictly_Positive|Strictly Positive]]
==== Parents ====
=== Subset of ===
[[Non-negative real number]], [[Non-zero real number]]