Linked from

The 16 pages that link to Well-founded relation, each with the reason it gives.

• RecursionRelated: A recursive procedure terminates when each call descends through a well-founded measure.

• Well-ordering theoremRelated: Well-orders are well-founded, though well-founded relations need not be linear.

• Recursive definitionRelated: A well-founded dependency prevents recursive clauses from descending forever.

• Transfinite recursionRelated: Well-foundedness generalizes the absence of endlessly earlier stages that supports recursive definitions.

• Minimal elementRelated: Well-foundedness guarantees minimal elements for every nonempty region of the ordered set.

• Membership relationRelated: The axiom of foundation requires membership to be well-founded in standard Zermelo-Fraenkel set theory.

• Ordinal analysisRelated: Ordinal analyses often measure which well-foundedness claims a theory can establish.

• Transfinite inductionRelated: Ordinals are well-founded, enabling induction beyond the natural numbers.

• Axiom of regularityRelated: Regularity says membership is well-founded on every set.

• Well-orderRelated: Well-foundedness supplies the subset-minimum condition; adding totality yields a well-order.

• Kruskal's tree theoremRelated: Minimal-counterexample arguments rely on well-foundedness to choose a smallest obstruction.

• Mostowski collapse lemmaRelated: Well-foundedness makes the recursive definition of the collapse map terminate.