整礎的集合

整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。
定義.
すべての順序数 α に対して、集合 "V"α を次のように再帰的に定義する：
ある順序数 α に対して "x" ∈ "V"α であるような集合 "x" を整礎的集合と呼ぶ。
集合の階数.
整礎的集合 "x" に対して、"x" ∈ "V"α + 1 をみたす最小の順序数 α を "x" の階数（rank）といい、これを rank("x") で表す。
rank("x") = sup {rank("y")+1 | y ∈ x} が成立する。
正則性公理と整礎的集合.
正則性公理を用いると、すべての集合が整礎的であることが示される。したがって、すべての集合に階数が定義される。