\begin{definition}[Definition:Minimal Condition/Ordered Set]
Let $\struct {P, \leq}$ be an ordered set.
Then $P$ satisfies the '''minimal condition''' {{iff}} $\leq$ is '''well-founded''':
:Every non-empty subset has a minimal element.
\end{definition}