そこで、progressionSがω-連続であることから以下が成り立つ:progressionS(DenoteS)=DenoteSこれはつまり、DenoteSがprogressionSの「不動点;fixedpoint」であることを意味する。
从progressions的ω-连续性得出progressions(Denotes)=Denotes上述等式引出了术语Denotes是progressions的不动点。