disjoint union

1 definition found

disjoint union - Free On-line Dictionary of Computing (26 May 2007) :

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