Definition:Well-Ordered Integral Domain

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

That is, every subset $S$ of the (strictly) 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 $\map P d$.