Well-founded relation

A mathematical relation < on a set 𝑆 is called well-founded if every non-empty subset of 𝑆 has a minimal element with respect to <.