繼承有限集合

數學中,繼承有限集合遞迴的定義為只包含繼承有限集合(空集作為基礎情況)的有限集合。非形式的說,繼承有限集合是其成員也是有限集合,成員的成員也是有限集合以此類推,的有限集合。

它們可以通過如下規則構造:

空集是繼承有限集合。
如果是繼承有限集合,則也是。

所有繼承有限集合的集合被指示為。如果我們指示冪集,則 還可以構造如下:首先把空集寫為,接著, , , 接著

繼承有限集合是馮·諾伊曼全集的子類。它是把集合論公理中的無窮公理替代為它的否定公理得到公理體系的模型,因此證明了無窮公理不是其他集合論公理的推論。

注意有可數多個繼承有限集合,因為對於任何有限的都是有限的(它的基數,參見 tetration),而可數多個有限集合的聯集是可數的。

等價的說,一個集合是繼承有限的,若且唯若它的遞移閉包是有限的。Vω也被符號化為,意味著小於的基數的繼承。參見繼承可數集合

參見