pointed domain definition 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".