莫斯托夫斯基塌陷引理

在數理邏輯中，根據莫斯托夫斯基塌陷引理（英語：Mostowski collapse lemma），對任何結構 S，它帶有良基關係 R 使得對 S 的每個元素 x 有 {y : y R x} 是集合，並且使得 R 滿足外延性，則存在一個傳遞類 C（可能是真類），它在成員關係下的結構同構於 S。這個同構映射 S 的每個元素 x 到 S 的有着 y R x 的元素 y 的像的集合。該引理得名於安德烈·莫斯托夫斯基（英語：Andrzej Mostowski）。