もし∀i∈ωxi≤xi+1ならばprogressionS(∨i∈ωxi)=∨i∈ωprogressionS(xi)このようなprogressionSの特徴をω-連続と呼ぶ。
更一般的说，我们期望如果∀i∈ωxi≤xi+1，则progressions(∨i∈ωxi)=∨i∈ωprogressions(xi)最后陈述的progressions的性质叫做ω-连续性。