Conteo usando |A ∪ B| = |A| + |B| - |A ∩ B| y sus generalizaciones.
El Principio de Inclusión-Exclusión (PIE) es una técnica de conteo fundamental en combinatoria que usas para calcular el tamaño de la unión de varios conjuntos. En muchos problemas de conteo, es difícil contar un conjunto de objetos directamente porque las condiciones que definen a los objetos se traslapan. El PIE te permite calcular el tamaño de la unión sumando los tamaños de los conjuntos individuales, restando los tamaños de sus intersecciones de dos en dos para corregir el doble conteo, sumando de nuevo los tamaños de las intersecciones de tres en tres para corregir lo que restaste de más, y así te sigues. Este proceso oscilante continúa hasta que llegas a la intersección de todos los conjuntos.
Esta técnica es súper importante cuando trabajas con problemas que involucran condiciones de "al menos uno" o configuraciones prohibidas. Por ejemplo, para contar el número de funciones suprayectivas, encontrar el número de soluciones enteras a ecuaciones con restricciones de límite superior, o resolver problemas de desajustes (derangements). Aunque el diagrama de Venn para dos o tres conjuntos te da una intuición visual simple, el poder del PIE está en que lo puedes generalizar a $n$ conjuntos, transformando condiciones lógicas "O" complejas en cálculos de "Y" lógicos (intersecciones) más fáciles de manejar.
La idea clave detrás del PIE es la corrección sistemática de errores. Cuando sumas los tamaños de los conjuntos individuales $|A_i|$, cualquier