定義 ref

半順序集合(D, ≤)が、dcpoとは，

Dの任意の有向部分集合Xが上限∨ Dを持つことを言う

参考