Definition:Well-Founded Ordered Set

From ProofWiki
Jump to navigation Jump to search
Not to be confused with Definition:Well-Founded Set.

Definition

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


Then $\struct {S, \preceq}$ is well-founded if and only if 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


Stronger properties


Generalization


Sources