稳定序数

$L_{\alpha }$是$L_{\beta }$的${\mathrm{\Sigma }}_n$初等子结构，如果任取${\mathrm{\Sigma }}_n$公式$\phi$均有单射j满足$L_{\alpha }$|=$\phi$($x_1$,$x_2$,…)等价于$L_{\beta }$|=$\phi$(j($x_1$),j($x_2$),…)，也称其为$L_{\alpha }$ ${\mathrm{\Sigma }}_n$稳定到 $L_{\beta }$

除此外，我们还有$L_{\alpha }$是$L_{\beta }$-${\mathrm{\Pi }}_n$反射用于表达一些精细的层级
函数式定义:
$L_{\alpha }$是$L_{f(\alpha )}$-${\mathrm{\Pi }}_n$反射，如果$L_{\alpha }{\mathrm{\Sigma }}_1$稳定到$L_{f(\alpha )}$且任取${\mathrm{\Sigma }}_n$公式$\phi$