More formally, the rule of sum is a fact about set theory. It states that sum of the sizes of a finite collection of pairwise disjoint sets is the size of the union of these sets. That is, if S 1 , S 2 , . . . , S n {\displaystyle S_{1},S_{2},...,S_{n}} are pairwise disjoint sets, then we have: