定义(α,β)当且仅当存在一个jαβ:L→L以α为临界点且j(α)=β
现在定义Cβ(x)={α (α,β)且存在y jαβ(y)=x 任意z<y Cα(z)都在z下无界}
也就是说序数坍缩 将Ω坍缩成不动点的方式其实是因为Ω会变成最小的序数α使得前面的所有层次都死一致的<α