すべての順序数αに対して、集合Vαを次のように再帰的に定義する：V0=∅{\displaystyleV_{0}=\varnothing},Vα+1=P(Vα){\displaystyleV_{\alpha+1}={\mathcal{P}}(V_{\alpha})},α{\displaystyle\alpha\,}が極限順序数のとき、Vα=⋃{Vβ∣β<α}{\displaystyleV_{\alpha}=\bigcup\{V_{\beta}\mid\beta<\alpha\}}。
对于任何序类型α{\displaystyle\alpha\}，我们可以定义比α{\displaystyle\alpha\}的类型高1的序类型：如果W∈α{\displaystyleW\in\alpha\}，则T(α){\displaystyleT(\alpha)\}是次序Wι={({x},{y})∣xWy}{\displaystyleW^{\iota}=\{(\{x\},\{y\})\midxWy\}}的序类型。