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