predomain

<theory> A domain with no bottom element.

(04 May 1995)