theory In most formulations of
domain theory, a
domain is defined to have a
bottom element and
algebraic CPOs without bottoms are called "predomains". David Schmidt's domains do not have this requirement and he calls a domain with a bottom "pointed".
(1999-07-07)