Mostowski collapse lemma

In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949, theorem 3) and John Shepherdson (1953).