構成可能集合
構成可能集合 x に対して、x ∈ Lα + 1 をみたす最小の順序数 α を x の L-階数(L-rank)といい、これを ρ(x) で表す。