$\omega$ 有向完備順序

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

Vita brevis, ars longa. Omnia vincit Amor.