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