# Symbols:D/Positive Elements of Ordered Integral Domain

Jump to navigation
Jump to search

## 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 < x}$, that is, the set of all strictly positive elements of $D$.

Some sources denote this as $D^+$, but this style of notation makes it difficult to distinguish between this and $D_+$.

Its $\LaTeX$ code is `D_+^*`

.