整礎的集合

整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。

定義 
すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する：

 ,
  ,
  が極限順序数のとき、  。

ある順序数 α に対して x ∈ Vα であるような集合 x を整礎的集合と呼ぶ。

Vα の性質 
 すべての順序数α, β に対して，α < β ならば，Vα ⊆ Vβ となる。
 すべての順序数α に対して，Vα は推移的集合である。すなわち，Vα ⊆ P(Vα) となる。 
 ON を順序数全体のクラスとすると，すべての順序数α に対して，Vα ∩ ON = α となる。

集合の階数 
整礎的集合 x に対して、x ∈ Vα + 1 をみたす最小の順序数 α を x の階数（rank）といい、これを rank(x) で表す。

rank(x) = sup {rank(y)+1 | y ∈ x} が成立する。

正則性公理と整礎的集合 
正則性公理を用いると、すべての集合が整礎的であることが示される。したがって、すべての集合に階数が定義される。

関連項目 
 集合
 集合論
 公理的集合論
 順序数
 構成可能集合
 整礎関係

集合論
数学に関する記事

de:Fundierte Menge
es:Orden bien fundamentado