继承可数集合 在集合论中一个集合被称为继承可数的当且仅当它的传递闭包是可数集合如果可数选择公理成立则一个集合是继承可数的当且仅当它是继承可数集合的可数集合所有继承有限集合的集合符号化为 H ℵ  displaystyle Haleph  意味着势小于 ℵ  displaystyle aleph  的继承 如果 x  H ℵ  displaystyle xin Haleph  则 L ω   x   H ℵ  displaystyle Lomega xsubset Haleph   更一般的说一个集合是势小于κ的继承当且仅当它的传递闭包有着小于κ的势所有这样的集合的集合符号化为 H κ displaystyle Hkappa