disjoint union

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

Nearby terms:

discussion groupDisipledisjoint unionDisjunctive Normal Formdisk

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading