predomain

predomain

(theory)A domain with no bottom element.