## [Principio de Inclusión y Exclusión](/es/node/63489) Definición 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 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 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 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 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 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 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 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 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.