<theory> In most formulations of domain theory, a domain is defined to have a bottom element and algebraicCPOs without bottoms are called "predomains".
David Schmidt's domains do not have this requirement and he calls a domain with a bottom "pointed".