In mathematical logic, the Mostowski collapse lemma is a statement in set theory named for Andrzej Mostowski. ==Statement== Suppose that R is a binary relation on a class X such that The Mostowski collapse lemma states that for any such R there exists a unique transitive class (possibly proper) whose structure under the membership relation is isom...