This principle is an extension of the two sets case to three sets. It states that the size of the union of three sets is equal to the sum of the sizes of the individual sets, minus the sum of the sizes of the pairwise intersections, plus the size of the intersection of all three sets.