===== Strictly positive rational number ===== ==== Set ==== | @#FFBB00: definiendum | @#FFBB00: $ \mathbb Q_+^* \equiv \mathbb Q_+ \cap \mathbb Q_* $ | ==== Ramifications ==== === Reference === ProofWiki: [[http://www.proofwiki.org/wiki/Definition:Strictly_Positive|Strictly Positive]] ==== Parents ==== === Subset of === [[Non-negative rational number]], [[Non-zero rational number]]