Enteoría de conjuntos, se dice que unconjunto es launión disjunta de otros dos si la unión de estos últimos da como resultado el primero, y además estos sondisjuntos entre sí. Por ejemplo, el conjunto de losnúmeros naturales es la unión disjunta del conjunto de losnúmeros paresP y del conjunto de losnúmeros imparesI:

${\displaystyle P=\{0,2,4,\dots \}}$

${\displaystyle I=\{1,3,5,\dots \}}$

${\displaystyle \mathbb{N}=\{0,1,2,3,4,\dots \}=P\cup I}$

La unión de conjuntos no es disjunta en general. Por ejemplo, el conjunto de los números naturales es también la unión del conjunto de los números mayores que 1000 y el conjunto de los números menores que 2000, pero estos no son disjuntos ya que tienen elementos en común: todos los números entre 1001 y 1999.

En general, dados dos o más conjuntos no necesariamente disjuntos estos pueden unirse de mediante una operación similar a la unión, salvo que se ignora el hecho de que los elementos repetidos solo deben aparecer una vez. Esta operación se denomina también suunión disjunta.

La unión de dos o más conjuntos se dice disjunta cuando estos son a su vez disjuntos entre sí:

Esta nomenclatura también se aplica a uniones de un número arbitrario de conjuntos, finito o infinito. Esta noción es equivalente a la departición: si el conjuntoA es la unión disjunta deB,C yD, entonces{B,C,D} es una partición deA (siempre queB,C yD sean novacíos).

Si dos conjuntos tienen elementos en común, su unión no será disjunta. En particular las propiedades de la unión de conjuntos aseguran que cada elemento común aparece una sola vez en el resultado de la misma. Sin embargo, es posible tomar una «unión» en la que se distingue de alguna forma dichos elementos comunes, de tal manera que se les pueda incluir más de una vez.

Para ello, antes de tomar una unión ordinaria se manipulan los conjuntos a unir para asegurar que, aunque resulten ser muy parecidos a los de partida, sean disjuntos entre sí. Una manera de conseguir esto es mediante elproducto cartesiano.

Ejemplo

• Los conjuntosA = {1, 2, 3} yB = {1, 2, 4} no son disjuntos, y su unión esA∪B = {1, 2, 3, 4}. Aunque ambos tienen 3 elementos, su unión solo tiene 4. Su unión disjunta esA∐B = { (1, 0), (2, 0), (3, 0), (1, 1), (2, 1), (4, 1)} y tiene 6 elementos.

Al modificar los conjuntos de partida antes de unirlos, los conjuntos originales no sonsubconjuntos de la unión disjunta, a diferencia de lo que ocurre en la unión ordinaria. Sin embargo es habitual relajar esta distinción, y afirmar que por ejemploA es un subconjunto deA∐B.

Esta definición de unión disjunta abstracta puede generalizarse a más de dos conjuntos, y en general, a unafamilia indexada:

• Lee, John (2011). «Appendix A. Review of Set Theory».Introduction to topological manifolds(en inglés).ISBN 9781441979391. 
• Weisstein, Eric W.«Disjoint Union». En Weisstein, Eric W, ed.MathWorld(en inglés).Wolfram Research. 

• Disjoint union(enlace roto disponible enInternet Archive; véase elhistorial, laprimera versión y laúltima). enPlanetMath.

• Teoría de conjuntos

• Wikipedia:Artículos con enlaces externos rotos