disjoint union

Technology Dictionary -> disjoint union

Search:

disjoint union



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