Source : Free On-Line Dictionary of Computing

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