Definition:Ordered Integral Domain/Definition 2

Definition
An ordered integral domain is an ordered ring $\struct {D, +, \times, \le}$ which is also an integral domain.

That is, it is an integral domain with an ordering $\le$ compatible with the ring structure of $\struct {D, +, \times}$:

where $0_D$ is the zero of $D$.

Also see

 * Equivalence of Definitions of Ordered Integral Domain