predomain

(theory)   A domain with no bottom element.

Last updated: 1995-05-04


Loading