##  [Principio de Inclusión y Exclusión](/es/node/59248) 

 Definición

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

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

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

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

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

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

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

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

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.