The Disjoint union reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Disjoint union

In set theory, a disjoint union or discriminated union is a set union in which each element of the resulting union is disjoint from each of the others; the intersection over a disjoint union is the empty set.

The term is also used to refer to a modified union operation which indexes the elements according to which set they originated in, ensuring that the result is a disjoint union. In computer science, this concept is important to construction of many data structures and is implemented directly by tagged unions and algebraic data types.

Formally, if C is a collection of sets, then

is a disjoint union if and only if

As mentioned, one can take the disjoint union of sets that are not in fact disjoint by using an indexing device. For example given A₁ and A₂, which may have common elements, with union B, the disjoint union as a subset of B x {1,2} is the union of A₁ x {1} and A₂x{2}.

See also: Basic Set Theory

This is the "Disjoint union" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.