Principio de Inclusión y Exclusió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.

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.