Source: wikibot/mostowski-collapse-lemma
= Mostowski collapse lemma
{wiki=Mostowski_collapse_lemma}
The Mostowski Collapse Lemma is a result in set theory, particularly in the context of the theory of well-founded relations. It is used primarily to show that any well-founded relation can be transformed into a linear order (or a total order) and that any set can be "collapsed" to obtain a well-founded set.