繼承可數集合

集合論中,一個集合被稱為繼承可數的,當且僅當它的遞移閉包是可數集合。如果可數選擇公理成立,則一個集合是繼承可數的,當且僅當它是繼承可數集合的可數集合。所有繼承有限集合的集合符號化為 ,意味着小於 的繼承。

如果 ,則

更一般的說,一個集合是勢小於κ的繼承,當且僅當它的遞移閉包有着小於κ的勢。所有這樣的集合的集合符號化為

參見

編輯