Definition:Well-Ordered Integral Domain

Definition
A well-ordered integral domain is an ordered integral domain $\left({D, +, \times \le}\right)$ in which the ordering $\le$ induced by the positivity property is a well-ordering.

That is, every subset $S$ of the positive elements of $D$ has a minimal element:
 * $\forall S \subseteq D_+^*: \forall a \in S: \exists x \in S: x \le a$

where $D_+^*$ denotes all the elements $d \in D$ such that $P \left({d}\right)$.