disjoint union

In domain theory, a union (or sum) which results in a domain without a least element.


Loading