# Well-foundedness

[https://en.wikipedia.org/wiki/Well-founded\_relation](https://en.wikipedia.org/wiki/Well-founded_relation)

**Well-foundedness**: each nonempty subset has a least element, that is, it has an element x such that there is no other element y in the subset where x > y.
