disjoint union


disjoint union

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