Definition:Ordered Integral Domain

Definition 2
An ordered integral domain can be denoted:
 * $\struct {D, +, \times \le}$

where $\le$ is the ordering induced by the positivity property.

Also see

 * Equivalence of Definitions of Ordered Integral Domain


 * Trichotomy Law (in the context of a general ordering)