莫斯托夫斯基塌陷引理

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