disjoint union

from The Free On-line Dictionary of Computing (8 July 2008)

disjoint union

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