Definition:Strictly Positive

Definition
Let $\struct {R, +, \circ, \le}$ be an ordered ring whose zero is $0_R$.

Then $x \in R$ is strictly positive $0_R \le x$ and $x \ne 0_R$.

One may write (more conveniently) that $0_R < x$ or $x > 0_R$ to express that $x$ is strictly positive.

Thus, the set of all strictly positive elements of $R$ can be denoted:


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

Also known as
The notation $R_+^*$ is frequently seen for $R_{>0_R}$, that is for $\set {x \in R: 0_R < x}$.

However, the notation $R_+$ and $R^+$ are also frequently seen for both $\set {x \in R: 0_R \le x}$ and $\set {x \in R: 0_R < x}$, and so suffer badly from ambiguity.

Also defined as
Some treatments of this subject reserve the term define positive to define $x \in R$ where $0_R < x$, using the term non-negative for what is defined on this website as positive.

With the conveniently unambiguous notation that has been adopted on this site, the distinction between the terms loses its importance, as the symbology removes the confusion.

Also see

 * Definition:Positive
 * Definition:Negative
 * Definition:Strictly Negative