Definition
A counting rule that adds up overlapping groups and subtracts the overlaps so nothing is double-counted.
A combinatorial identity for computing the size of a union by summing individual set sizes and subtracting pairwise intersections, with higher-order corrections.