Definition:Well-Ordered Integral Domain

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

Also see

 * Equivalence of Definitions of Well-Ordered Integral Domain