Definition:Minimal Condition/Ordered Set

Definition
Let $\struct {S, \preccurlyeq}$ be an ordered set.

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

Also see

 * Definition:Descending Chain Condition