Definition:Strictly Positive/Real Number/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

The strictly positive real numbers are the set defined as:

$\R_{>0} := \set {x \in \R: x > 0}$

That is, all the real numbers that are strictly greater than zero.


Sources