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