Definition:Strictly Positive/Real Number/Definition 2

Definition
The strictly positive real numbers, written $R_{>0}$, is the subset of $\R$ that satisfies the following: