< theory > In most formulations of domain theory , a domain is defined to have a bottom element and algebraic CPO s 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)