|A₁ ∪ … ∪ Aₙ| = Σ|Aᵢ| − Σ|Aᵢ ∩ Aⱼ| + … + (-1)^(n+1) |A₁∩…∩Aₙ|. Canonical tool for counting with overlap.