これは以下のように表される:DenoteS≡∨i∈ωprogressionSi(⊥S).ここで、progressionSは「単調」であるべきで、x≤yであるときprogressionS(x)≤progressionS(y)である。
期望progressions是单调的，就是说，如果x≤y则progressions(x)≤progressions(y)。