Unión de conjuntos en matemáticas: definición, términos y símbolo

Imagina que tienes dos cajas: una contiene las letras {a, b, c} y la otra las letras {c, d, e}. Si vacías las dos cajas juntas en una tercera, el resultado es {a, b, c, d, e}. Esa acción tan simple es, en esencia, la unión de conjuntos. No importa que la letra «c» estuviera repetida; en el conjunto final aparece una sola vez.

La unión es una de las operaciones fundamentales de la teoría de conjuntos, junto con la intersección, la diferencia y el complemento. La entenderás en menos de dos minutos si recuerdas esta idea: unir es sumar elementos sin duplicar. En este artículo aprenderás desde su definición formal hasta los símbolos que usan los matemáticos, pasando por ejemplos visuales, propiedades clave y errores típicos de estudiantes.

¿Qué es la unión de conjuntos? Definición matemática

En teoría de conjuntos, la unión de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen al menos a uno de los dos conjuntos (A, B o ambos). Se denota como A ∪ B y se lee «A unión B».

Definición formal (notación por comprensión):

A ∪ B = { x | x ∈ A o x ∈ B }

Tema relacionado:
Contribuciones de Tales de Mileto a las Matemáticas y la Astronomía

Donde «|» significa «tal que», y «∈» significa «pertenece a». La «o» es inclusiva: permite que x esté en A, en B o en ambos.

Ejemplo básico:
A = {1, 2, 3}
B = {3, 4, 5}
A ∪ B = {1, 2, 3, 4, 5}

Observa que el 3 aparece una sola vez, porque los conjuntos no tienen repeticiones.

El símbolo de la unión: ∪ y su origen

El símbolo ∪ fue introducido por el matemático Giuseppe Peano en 1888. Proviene de la inicial de la palabra latina «unio» (unión). No lo confundas con el símbolo de intersección ∩, que es como un arco invertido.

En los teclados, puedes escribirlo en Word o Google Docs insertando símbolos, o en HTML mediante ∪ (∪). En LaTeX se escribe \cup.

Relación con la lógica

La unión corresponde directamente al conectivo lógico «o» (∨). Decir que un elemento está en A ∪ B es equivalente a decir que la proposición «(x ∈ A) ∨ (x ∈ B)» es verdadera.

Representación gráfica: diagramas de Venn

La forma más intuitiva de entender la unión es mediante diagramas de Venn, donde cada conjunto es un círculo (u otra figura) dentro de un rectángulo que representa el conjunto universal (U).

En un diagrama de Venn de dos conjuntos A y B:

• La unión A ∪ B es toda el área sombreada que cubre ambos círculos, incluyendo la región donde se solapan.
• Si hay tres conjuntos A, B, C, la unión A ∪ B ∪ C es toda la superficie dentro de al menos uno de los tres círculos.

Ejemplo visual (imagínalo o dibújalo):
Círculo A: {manzana, pera}
Círculo B: {pera, naranja}
La unión sombreada contiene: manzana, pera, naranja.

Los diagramas de Venn son especialmente útiles para resolver problemas donde se pide contar elementos sin duplicar regiones.

Terminología clave que debes dominar

Para hablar de unión con precisión, necesitas este vocabulario:

Importante: La unión con el conjunto vacío no cambia el conjunto original: A ∪ ∅ = A.

Propiedades de la unión de conjuntos (útiles para demostraciones)

La unión cumple varias propiedades algebraicas que la hacen muy predecible y útil. Estas propiedades son análogas a las de la suma de números, pero con diferencias clave.

Propiedad conmutativa

A ∪ B = B ∪ A
El orden no importa.

Propiedad asociativa

(A ∪ B) ∪ C = A ∪ (B ∪ C)
Podemos agrupar como queramos.

Propiedad idempotente

A ∪ A = A
Unir un conjunto consigo mismo no lo modifica.

Propiedad de identidad

A ∪ ∅ = A

Propiedad de dominación (con el universal)

A ∪ U = U
Si unes cualquier conjunto con el universo, obtienes el universo.

Propiedad distributivas

• A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
• A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Estas dos últimas son muy importantes en álgebra de conjuntos y circuitos lógicos.

Relación con la intersección (Ley de absorción)

A ∪ (A ∩ B) = A

Diferencia entre unión, intersección y diferencia (comparativa)

Para que no los confundas nunca, aquí tienes una tabla comparativa rápida:

Regla nemotécnica:

• Unión → «U» de «unir» → todo lo que hay en al menos uno.
• Intersección → «I» de «intersección» → lo que está en ambos (parte común).

Ejemplos resueltos paso a paso (de básico a intermedio)

Ejemplo 1 (básico, con números)

A = {2, 4, 6}
B = {4, 5, 6, 7}
A ∪ B = {2, 4, 5, 6, 7}
Explicación: el 4 y 6 están en ambos, pero los escribimos una sola vez.

Ejemplo 2 (con letras y números)

C = {a, b, 1}
D = {b, 2, 3}
C ∪ D = {a, b, 1, 2, 3}

Ejemplo 3 (con conjunto vacío)

E = {rojo, azul}
F = ∅
E ∪ F = {rojo, azul}

Ejemplo 4 (tres conjuntos)

X = {1, 3, 5}
Y = {2, 4, 6}
Z = {3, 4, 7}
X ∪ Y ∪ Z = {1, 2, 3, 4, 5, 6, 7}
Nota: la unión es asociativa, así que podemos hacer (X∪Y)∪Z.

Ejemplo 5 (con conjuntos definidos por comprensión)

M = {x ∈ ℕ | x es par y x < 10} = {2, 4, 6, 8}
N = {x ∈ ℕ | x es múltiplo de 3 y x < 10} = {3, 6, 9}
M ∪ N = {2, 3, 4, 6, 8, 9}

Errores comunes de estudiantes (y cómo evitarlos)

Error 1: Duplicar elementos al escribir la unión

❌ A={1,2}, B={2,3} → A∪B = {1,2,2,3}
✅ A∪B = {1,2,3}
Solución: Recuerda que los conjuntos no tienen repeticiones.

Error 2: Confundir unión con intersección al resolver problemas verbales

Problema: «¿Qué estudiantes están en el club de matemáticas O en el club de ciencias?»
❌ Responder solo los que están en ambos.
✅ Responder todos los que están en al menos uno.

Error 3: Pensar que el orden afecta la unión

❌ Suponer que A∪B ≠ B∪A
✅ Son siempre iguales (propiedad conmutativa).

Error 4: Olvidar que el conjunto vacío es neutro

❌ A ∪ ∅ = ∅
✅ A ∪ ∅ = A

Usos de la unión de conjuntos (más allá del aula)

La unión no es solo teoría abstracta. Se usa en:

Bases de datos (SQL)

La operación UNION combina resultados de dos consultas eliminando duplicados. Por ejemplo:

sql

SELECT nombre FROM clientes_2023
UNION
SELECT nombre FROM clientes_2024;

Probabilidad

Para dos eventos A y B:
P(A ∪ B) = P(A) + P(B) – P(A ∩ B)
(Fórmula de la probabilidad de la unión).

Conjuntos en programación (Python, Java, etc.)

En Python:

python

A = {1, 2, 3}
B = {3, 4, 5}
print(A | B)   # {1, 2, 3, 4, 5}

Clasificación de datos y lógica difusa

En sistemas de recomendación, la unión de intereses de varios usuarios ayuda a generar sugerencias.

Diagramas de Euler y análisis de solapamiento en biología (conjuntos de genes, especies, etc.)

Unión de más de dos conjuntos y generalización

Podemos unir cualquier cantidad de conjuntos. La unión generalizada se define como:

{eq}⋃_{i=1}^{n} A_i = A₁ ∪ A₂ ∪ … ∪ A_n = { x | x pertenece a al menos un A_i }{/eq}

Incluso para una familia infinita de conjuntos (por ejemplo, unión de todos los intervalos [-1/n, 1/n] para n natural da el conjunto [-1, 1]).

Ejemplo con tres conjuntos:
A₁ = {a, b}
A₂ = {b, c, d}
A₃ = {d, e}
⋃ A_i = {a, b, c, d, e}

Ejercicios propuestos para practicar (con soluciones al final)

1. Si A = {x | x es vocal de la palabra «UNION»} y B = {x | x es consonante de «UNION»}, halla A ∪ B.
2. Dados C = {2, 4, 6, 8} y D = {1, 3, 5, 7}, calcula C ∪ D.
3. ¿Es cierto que (A ∪ B) ⊆ A siempre? Justifica.
4. Si el universo U = {1,2,3,4,5,6}, A = {2,4}, B = {4,5,6}, halla A ∪ B y comprueba que (A ∪ B) ∪ ∅ = A ∪ B.
5. Representa mediante diagrama de Venn la unión de tres conjuntos X, Y, Z donde X ⊂ Y (X es subconjunto propio de Y).

Soluciones breves:

1. A={U,I,O}, B={N} (la N es consonante) → A∪B={U,I,O,N}
2. C∪D = {1,2,3,4,5,6,7,8}
3. Falso, salvo que B ⊆ A. Contraejemplo: A={1}, B={2} → A∪B={1,2} no es subconjunto de {1}.
4. A∪B = {2,4,5,6}; con ∅ sigue igual.
5. El círculo X dentro de Y, y Z solapando parcialmente con Y (puede tocar X o no).

Resultados de aprendizaje

Después de leer este artículo completo, el estudiante debería ser capaz de:

1. Definir con precisión la unión de dos o más conjuntos usando lenguaje matemático y notación por comprensión.
2. Identificar y utilizar correctamente el símbolo de unión (∪) y diferenciarlo de otros símbolos como ∩, \ y ∆.
3. Representar gráficamente la unión mediante diagramas de Venn para dos o tres conjuntos.
4. Aplicar las propiedades de la unión (conmutativa, asociativa, idempotente, identidad, dominación y distributivas) en ejercicios y demostraciones básicas.
5. Resolver problemas donde se pida calcular la unión a partir de conjuntos definidos por extensión o por comprensión, evitando errores de duplicación.
6. Distinguir claramente entre unión, intersección y diferencia en contextos teóricos y prácticos (probabilidad, bases de datos, programación).
7. Generalizar la unión a familias finitas e infinitas de conjuntos, reconociendo su utilidad en matemáticas avanzadas.
8. Detectar y corregir errores típicos como confundir unión con intersección o duplicar elementos en la notación por extensión.

Rodrigo Ricardo Editor y fundador