查看“︁继承可数集合”︁的源代码

{{NoteTA
|G1 = Math
}}
在[[集合论]]中，一个集合被称为'''继承可数'''的，当且仅当它的[[传递集合|传递闭包]]是可数集合。如果[[可数选择公理]]成立，则一个集合是继承可数的，当且仅当它是继承可数集合的可数集合。所有继承有限集合的集合符号化为 <math>H_{\aleph_1}</math>，意味着[[势 (数学)|势]]小于 <math>\aleph_1</math> 的继承。

如果 <math>x \in H_{\aleph_1}</math>，则 <math>L_{\omega_1}(x) \subset H_{\aleph_1}</math>。

更一般的说，一个集合是'''势小于κ的继承'''，当且仅当它的传递闭包有着小于κ的势。所有这样的集合的集合符号化为 <math>H_\kappa \!</math>。

==参见==
*[[继承有限集合]]
*[[可构造全集]]

{{math-stub}}
[[Category:集合族]]
[[Category:大基數]]