プログラムが扱うデータ領域はcpoである

定義 ref p.64

以下をの条件を満たす半順序集合Dのことを、cpoという

Dは最小元を持つ

Dの任意の有向部分集合Xについて、Xの上限\sqcup X\in Dが存在する

完備束よりちょっと強い条件

例

任意の冪集合\mathscr{P}(S)は、その包含関係に関してcpoになる

集合SからTへの部分関数全体の集合

部分関数の半順序集合関係でみるとcpoになる

通常の0引数の型にbottom(⊥)を加えた集合 ref

cpo上のスコット連続関数全体は、cpoを成す

参考