pointed domain

pointed domain

(theory)In most formulations of domain theory, a domainis defined to have a bottom element and algebraic CPOswithout bottoms are called "predomains". David Schmidt'sdomains do not have this requirement and he calls a domainwith a bottom "pointed".