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

Link to graph
Log In
Improvements of the human condition
limeGraphxioms