Definition:Well-Founded Ordered Set

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

Then $\struct {S, \preceq}$ is well-founded it satisfies the minimal condition:


 * Every non-empty subset of $S$ has a minimal element.

That is, if the ordering $\preceq$ is a well-founded relation.

Also see

 * Definition:Descending Chain Condition
 * Definition:Converse Well-Founded Ordered Set

Stronger properties

 * Definition:Well-Ordering
 * Definition:Well-Ordered Set

Generalization

 * Definition:Strictly Well-Founded Relation