完備半順序

数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
定義.
半順序集合が有向完備半順序集合 (dcpo) であるとは、その任意の有向部分集合が上限を持つことを言う。半順序集合の部分集合が有向であるとは、それが空でなく、その任意の二元の上界がその部分集合内にとれることを言うのであった。言葉づかいとして、有向完備半順序集合のことを上完備半順序集合 ("up-complete poset") と言ったり、単に cpo と言ったりする。 
ω-完備 (あるいは単に cpo) は任意の ω-鎖 が上限を持つような半順序集合を表すのに用いられる。任意の ω-鎖は有向ゆえ、任意の有向完備半順序は ω-有向完備半順序だが、逆は真でない。
最小元を持つ有向完備半順序集合は重要であり、しばしば点付き有向完備半順序や cppo あるいは単に cpo と呼ばれる。
有向上限の存在を要求することは、有向集合および上限を（近似的）計算における近似およびその極限をそれぞれ一般化するものと見做すことを考えれば自然である。この直観は、表示的意味論において、領域理論の発展を背景としてもたらされたものであった。
有向完備順序集合の概念はフィルター付き完備半順序 ("filtered complete partial order") と呼ばれるが、双対順序を明示的に用いて扱う方がふつうであるから、実利上はこの概念を直接扱うことはそれほど多くない。
性質.
順序集合 "P" が有向完備半順序集合となる必要十分条件は、その任意の鎖が "P" に上限を持つことである。同様に、順序集合 "P" が点付き有向完備半順序集合となる必要十分条件は、その任意の自己写像が最小の不動点を持つことである。任意の集合 "S" は、最小元 ⊥ (bottom) を付け加えて、平坦順序（"S" の各元 "s" に対して ⊥ ≤ "s" かつ "s" ≤ "s" およびそれ以外には関係を持たない）をいれることによって有向完備半順序集合にすることができる。
連続写像と不動点.
二つの有向完備半順序集合 "P", "Q" の間の写像が（スコット）連続であるとは、それが有向集合を有向集合へ写し、かつそれらの上限を保つことをいう。つまり、
有向完備半順序集合の間の任意の連続写像は単調となることに注意。この連続性の概念は、によって誘導される位相的な連続性と同値である。
二つの有向完備半順序集合 "P", "Q" の間の連続写像全体の成す集合 は、点ごとの順序を入れて再び有向完備半順序集合となり、またさらに "Q" が点付きならば点付き有向完備半順序集合になる。従って完備半順序集合とスコット連続写像の全体はデカルト閉圏を成す。
点付き完備半順序集合 ("P", ⊥) 上の任意の単調（順序を保つ）自己写像 "f" は最小不動点を持つ。この "f" が連続ならば、この不動点は ⊥ の反復列 (⊥, "f"(⊥), "f"("f"(⊥)), … "f""n"(⊥), …) の上限に等しい（クリーネの不動点定理も参照）。
関連する概念.
有向完備性は、ほかのの概念（例えばなど）と様々な意味で関係がある。有向完備性自体は、ほかの例えばやを用いるような順序理論的研究においても生じてくるような極めて基本的な性質である。