整礎的集合

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

定義

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

$V_{0}=\varnothing$ ,
$V_{\alpha 1}={\mathcal {P}}(V_{\alpha })$ ,
$\alpha \,$ が極限順序数のとき、 $V_{\alpha }=\bigcup \{V_{\beta }\mid \beta <\alpha \}$ 。

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

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

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

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