Estructura de un diagrama de Venn de dos conjuntos disjuntos

Estructura gráfica de un diagrama de Venn para dos conjuntos disjuntos ($A \cap B = \emptyset$), caracterizada por dos círculos separados que generan 3 regiones disjuntas.

Cuando dos conjuntos no tienen ningún elemento en común ($A \cap B = \emptyset$), su diagrama de Venn se dibuja con dos círculos completamente separados (que no se tocan ni se cruzan) dentro del rectángulo universal $\mathcal{U}$. Esta disposición divide al rectángulo en $3$ regiones distintas:
1. El interior del círculo $A$: solo los elementos de $A$.
2. El interior del círculo $B$: solo los elementos de $B$.
3. La región exterior: los elementos de $\mathcal{U}$ que no están ni en $A$ ni en $B$ ($(A \cup B)^c$).

Definición formal

En la lógica gráfica de conjuntos, el diagrama de Venn para dos conjuntos disjuntos ($A \cap B = \emptyset$) es la configuración topológica donde las curvas cerradas simples de $A$ y $B$ no se intersectan:
$$\partial A \cap \partial B = \emptyset \quad \land \quad A \cap B = \emptyset$$
Esta geometría induce una partición del universo $\mathcal{U}$ en exactamente $3$ regiones disjuntas:
1. $R_A = A \setminus B = A$.
2. $R_B = B \setminus A = B$.
3. $R_{\text{ext}} = (A \cup B)^c = \mathcal{U} \setminus (A \cup B)$.

Desglose simbólico

• Ausencia de región central: $A \cap B = \emptyset$ ($|A \cap B| = 0$).
• Conservación de cardinalidad total:
  $$|\mathcal{U}| = |A| + |B| + |(A \cup B)^c|$$
• Cardinalidad de la unión: $|A \cup B| = |A| + |B|$.

Síntesis didáctica

La separación espacial de los círculos expresa visualmente la incompatibilidad lógica y probabilística de dos categorías disjuntas.

• Diagrama de conjuntos disjuntos: Representación gráfica con curvas cerradas no secantes que ilustra la exclusión mutua.
• Región exterior del diagrama ($(A \cup B)^c$): Espacio dentro del rectángulo que agrupa los objetos que no pertenecen a ninguno de los dos conjuntos.
• Partición en tres regiones: División $\{A, B, (A \cup B)^c\}$ que recubre exhaustivamente a $\mathcal{U}$.

• Principio aditivo visual: La unión $A \cup B$ es simplemente la agregación directa de las áreas de ambos círculos.
• Diferencias simétricas: $A \bigtriangleup B = A \cup B$.

En un curso de $30$ estudiantes ($\mathcal{U}$), $12$ practican solo natación ($N$) y $10$ practican solo atletismo ($A$). Si ningún estudiante practica ambos deportes a la vez ($N \cap A = \emptyset$), representa la situación en un diagrama de Venn y halla cuántos estudiantes no practican ninguno.