Solution (source code)

= Solution

For <finite sets>, the <inclusion-exclusion principle> states
$$
\boxed{\left|\bigcup_{i=1}^n A_i\right|=\sum_{\varnothing\ne J\subseteq\{1,\ldots,n\}}(-1)^{|J|+1}\left|\bigcap_{j\in J}A_j\right|.}
$$
Thus single-set <cardinalities> are added, pairwise-intersection <cardinalities> subtracted, triple-intersection <cardinalities> added, and so on.