Well-foundedness

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.