Definition:Positive/Real Number

Definition
The positive real numbers are the set:
 * $\R_{\ge 0} = \left\{{x \in \R: x \ge 0}\right\}$

That is, all the real numbers that are greater than or equal to zero.