Definition:Minimal Condition/Ordered Set

Definition
Let $\struct {P, \leq}$ be an ordered set.

Then $P$ satisfies the minimal condition $\leq$ is well-founded:
 * Every non-empty subset has a minimal element.

Also see

 * Definition:Descending Chain Condition