pointed domain
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)