$\omega$ 有向完備順序

順序 $ (D, \leq ) $ に対して、すべての加算上昇列 $\{x_{n}\}_{n<\omega}$ が上限を持つとき、$D$ は $\omega$ 有向完備順序という。