disjoint union

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

Try this search on Wikipedia, OneLook, Google

Nearby terms:

discriminated union « discussion group « Disiple « disjoint union » Disjunctive Normal Form » disk » disk controller

Loading