<theory> A domain with no bottom element.

(01 Mar 1995)