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.