predomain

predomain

(theory)
A domain with no bottom element.
Mentioned in ?