Una fórmula combinatoria que da la cardinalidad de una unión finita de conjuntos como una suma alternada de los tamaños de todas las intersecciones no vacías de esos conjuntos.

Principio

Contar la unión añadiendo y restando alternativamente los tamaños de las intersecciones de modo que las sobrecuentas por solapamientos queden corregidas exactamente.

Demostración

Para dos conjuntos A y B, |A ∪ B| = |A| + |B| − |A ∩ B|; para tres conjuntos A,B,C, |A ∪ B ∪ C| = |A|+|B|+|C| − |A∩B|−|A∩C|−|B∩C| + |A∩B∩C|.

Aplicación incorrecta

Aplicar la fórmula finita de inclusión–exclusión a familias infinitas sin analizar la convergencia, o restar solo intersecciones por pares cuando existen solapamientos de orden superior, lo que produce conteos incorrectos.

Consecuencia

Cuando se aplica correctamente a una familia finita, proporciona el recuento exacto de elementos distintos en la unión y permite cálculos de probabilidad rigurosos para uniones de eventos.

Inversión

La inversión de Möbius en el retículo booleano invierte la relación de inclusión–exclusión, expresando tamaños de intersección a partir de tamaños de unión o al revés.

Límite

Requiere un número finito de conjuntos o control de series alternadas infinitas; no procede usarla de forma ingenua en espacios no numerables sin justificación medible.

Tensión semántica

Compite con heurísticas más simples (por ejemplo, tratar los solapamientos como despreciables) o con enfoques basados en funciones indicadoras y linealidad de la esperanza; la tensión está entre la corrección exacta y métodos aproximados o probabilísticos.

Síntesis

La inclusión–exclusión es el mecanismo combinatorio exacto que corrige el sobreconteo mediante contribuciones alternadas de todas las intersecciones; es el análogo discreto de la inversión de Möbius en el retículo de subconjuntos.