Definition:Minimal Condition/Ordered Set

Definition
Let $(P, \leq)$ be an ordered set.

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

Also see

 * Definition:Descending Chain Condition