Regla combinatoria que calcula la cardinalidad de una unión finita de conjuntos (posiblemente solapados) sumando y restando alternadamente los tamaños de todas las intersecciones no vacías; se expresa clásicamente como una suma alternada finita sobre intersecciones de orden creciente.

Principio

Contar la unión sumando los tamaños de los conjuntos individuales, restando los tamaños de las intersecciones por pares, sumando las intersecciones triples, y así sucesivamente con signos alternados hasta considerar todos los solapamientos.

Demostración

Para tres conjuntos finitos A, B, C: |A ∪ B ∪ C| = |A|+|B|+|C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Esto corrige los dobles recuentos de elementos que pertenecen a varios conjuntos.

Aplicación incorrecta

Aplicar la fórmula alternada sin contar todas las intersecciones relevantes (por ejemplo, ignorar intersecciones vacías o omitir solapamientos de orden superior) conduce a recuentos erróneos; su uso sin precaución en familias infinitas o no medibles puede ser inválido.

Consecuencia

Si se usa correctamente en colecciones finitas, proporciona recuentos exactos y un procedimiento sistemático para manejar el sobreconteo; también respalda cálculos de probabilidad por inclusión–exclusión y métodos de cribado en teoría de números.

Inversión

La perspectiva inversa considera obtener tamaños de intersección a partir de conteos de uniones mediante la inversión de Möbius en el retículo de subconjuntos; invertir la alternancia de signos da fórmulas para recuperar medidas de intersección desde las uniones.

Límite

Se aplica a colecciones finitas de conjuntos o a contextos donde está definida una noción de tamaño finitamente aditiva (medida, probabilidad); la extensión ingenua a familias infinitas exige control de convergencia o teoría de medida sigma-aditiva y puede fallar.

Tensión semántica

Compite con el conteo basado en particiones (que evita solapamientos mediante una descomposición disjunta) y con enfoques integrales/medida que usan límites en lugar de sumas alternadas finitas; la tensión aparece al decidir entre inclusión–exclusión directa o construir representantes disjuntos.

Síntesis

Inclusión–exclusión es un mecanismo de contabilidad: los signos alternos corrigen capas sucesivas de solapamiento para que cada elemento se cuente exactamente una vez; es exacto en contextos finitos o de medida controlada y es el contrapunto combinatorio de la inversión de Möbius en retículos de subconjuntos.