disjoint union
In domain theory, a union (or sum) which results in a domain
without a least element.
<2001-03-16>
Try this search on OneLook / Google
Nearby terms:
disamis « discriminated union « disjoint sets « disjoint union » disjunct » disjunction » disjunctive normal form (DNF)