 Well-founded relation

A relation $r$ on $X$ is well-founded when every nonempty subset of $X$ contains an element with no $r$-predecessor in that subset.

A well-founded relation is a binary relation that has a specific property related to the absence of infinite descending sequences.