CPO
完備半順序集合 (complete poset) のクラス
つまり ω-完備半順序（ω-complete partial order; ω-cpo）
特に有向完備半順序集合 (dcpo, directed-complete partial order)
あるいは上完備半順序集合 (upper-complete poset)
暗黙に最小元の存在を仮定している。
つまり 点付き有向完備半順序 (cppo, complete pointed poset)
pointed である。
微妙な違い
応用
symbols
ref.