dcpo
directed-complete partial order
有向完備半順序
とある半順序集合
定義 ref
半順序集合$ (D, ≤)が、dcpoとは，
$ Dの任意の有向部分集合$ Xが上限$ ∨ Dを持つことを言う
参考
/mrsekut-book-4320026578/075
dcpo in nLab
Haskell/Denotational semantics - Wikibooks
完備半順序 - Wikipedia
Explanations on concepts of Posets