Mostowski collapse lemma

ID: 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.

New to topics? Read the docs here!