theory (cpo) A partial ordering of a set under a

relation, where all directed subsets have a least upperbound. A cpo is usually defined to include a least element,

bottom (David Schmidt calls this a pointed cpo). A cpo

which is algebraic and boundedly complete is a (Scott)

domain.