Showing revision 6Difference (from revision 6 to revision 6)
(
minor diff,
author diff)
(The revisions are identical or unavailable.)
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.
On reason that well-founded sets are interesting is because mathematical induction can be used on them.