A
well-founded set is a
set with a
partial order such that it contains no
infinite descending chains. If the order is a
total order then the set is called a
well-ordered set.
One reason that well-founded sets are interesting is because transfinite induction can be used on them.