predomain
<mathematics, logic>
A domain with no bottom element.
[FOLDOC]
<2001-03-16>
Try this search on OneLook / Google
Nearby terms:
predicate logic « predicate logic with identity « prediction « predomain » prefix » prefix notation » prefix syntax