Symbols:D/Non-Negative Elements of Ordered Integral Domain

Ordered Integral Domain

 * $D_+$

Let $\struct {D, +, \circ, \le}$ be an ordered integral domain whose zero is $0_D$.

Then $D_+$ denotes the set $\set {x \in D: 0_D \le x}$, that is, the set of all positive (that is, non-negative) elements of $D$.