命題
S を順序集合とする。
S の元の任意の族 (x_i)_I に対して sup(x_i) が存在するとき
S は完備束(過去スレ018の914)である。

証明
過去スレ017の281より、S は圏と見なせる。
よって、過去スレ018の915と双対原理(過去スレ018の159)を使えばよい。