完備半順序
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。