 A ccpo is a partial order \((D,\lt)\) in which every totally ordered subset of \(D\) has a least upper bound. The totally ordered subsets of \(D\) are called chains in \(D\). A monotone operator on \((D,\lt)\) is a mapping \(\tau : D \rightarrow D\) satisfying: