Definition:Negative/Ordered Ring

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

Then $x \in R$ is negative $x \le 0_R$.

The set of all negative elements of $R$ is denoted:


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

Also see

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