Strictly positive rational number
Set
definiendum
$ \mathbb Q_+^* \equiv \mathbb Q_+ \cap \mathbb Q_* $
Ramifications
Reference
ProofWiki:
Strictly Positive
Parents
Subset of
Non-negative rational number
,
Non-zero rational number