Inclusion-exclusion principle

For finite sets $A_1,\dots ,A_n$, the cardinality of their union is the alternating sum of the cardinalities of their nonempty intersections.