繼承可數集合

在集合論中 ， 一個集合被稱爲繼承可數的 ， 當且僅當它的傳遞閉包是可數集合 。 如果可數選擇公理成立 ， 則一個集合是繼承可數的 ， 當且僅當它是繼承可數集合的可數集合 。 所有繼承有限集合的集合符號化爲 ， 意味着勢小於 的繼承 。 如果 ， 則 。 更一般的說 ， 一個集合是勢小於κ的繼承 ， 當且僅當它的傳遞閉包有着小於κ的勢 。 所有這樣的集合的集合符號化爲 。