遺伝的有限集合

数学および集合論において遺伝的有限集合（いでんてきゆうげんしゅうごう、）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。

形式的な定義
整礎的な遺伝的有限集合の帰納的定義は次のようにされる：
 基底段階: 空集合は遺伝的有限である。
 再帰段階: もし  が遺伝的有限ならば  もそうである。
以上によって遺伝的有限集合とわかるものだけが遺伝的有限集合である。

全ての整礎的な遺伝的有限集合からなる集合を  と書く。いま  で  の冪集合を表すことにすれば、  は空集合から始めて次のように再帰的に定義できる：

議論
遺伝的有限集合のクラスはフォン・ノイマン宇宙の部分クラスである。これはツェルメロ=フレンケル集合論において無限公理をその否定に置き換えた理論のモデルを成す。したがって無限公理はその他の公理からは証明できない。

 の濃度は （テトレーションを見よ）であるから遺伝的有限集合はちょうど可算無限個ある。

同じことであるが、集合が遺伝的有限であることと、その推移閉包が有限であることは同値である。  は  とも書かれる。その意味するところは遺伝的に濃度が  未満ということである。

アッカーマンの全単射

は次のような自然な全単射  を与えている。これはアッカーマン符号化として知られる。これは遺伝的集合の階数に関する帰納法によって

と定義される。ただし  は相異なるものとする。このとき  であることと、  の2進展開の第  位が  であることとは同値である。

ラドーグラフ

遺伝的有限集合を頂点とするグラフであって、一方が他方を含むときに限り、それらの頂点を辺で結んで得られるグラフをラドーグラフあるいはランダムグラフという。

関連項目
遺伝的可算集合

参考文献

集合論
数学に関する記事