strictly_positive_real_number

Processing math: 100%

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