predomain
<
theory
> A
domain
with no
bottom
element.
(04 May 1995)