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