Disjoint Union

The disjoint union of two sets A and B is a binary operator that combines all distinct elements of a pair of given sets, while retaining the original set membership as a distinguishing characteristic of the union set. The disjoint union is denoted

 A union ^*B=(A×{0}) union (B×{1})=A^* union B^*,

where A×S is a Cartesian product. For example, the disjoint union of sets A={1,2,3,4,5} and B={1,2,3,4} can be computed by finding



A union ^*B=A^* union B^*

See also

Graph Union, Union, Unsorted Union

Explore with Wolfram|Alpha


Armstrong, M. A. Basic Topology, rev. ed. New York: Springer-Verlag, 1997.

Referenced on Wolfram|Alpha

Disjoint Union

Cite this as:

Weisstein, Eric W. "Disjoint Union." From MathWorld--A Wolfram Web Resource.

Subject classifications