传递集合 编辑
传递集合、即在策梅洛-弗兰克尔集合论或ZFC集合论中，一个集合



X


{\displaystyle X}

是传递的，如果
1
相关
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递集合 C，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于安德烈·莫斯托夫斯基。
在集合论中，一个集合被称为继承可数的，当且仅当它的传递集合是可数集合。如果可数选择公理成立，则一个集合是继承可数的，当且仅当它是继承可数集合的可数集合。所有继承有限集合的集合符号化为




H


ℵ

1






{\displaystyle H_{\aleph _{1}}}

，意味着势小于




ℵ

1




{\displaystyle \aleph _{1}}

的继承。
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递集合 C，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于安德烈·莫斯托夫斯基。
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递集合 C，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于安德烈·莫斯托夫斯基。