Prinsip Inklusi–Eksklusi
Untuk himpunan hingga $A_1,\dots,A_n$, $\Big|\bigcup_{i=1}^nA_i\Big|=\sum_i|A_i|-\sum_{i<j}|A_i\cap A_j|+\sum_{i<j<k}|A_i\cap A_j\cap A_k|-\cdots+(-1)^{n+1}|A_1\cap\cdots\cap A_n|.$
Untuk himpunan hingga $A_1,\dots,A_n$, $\Big|\bigcup_{i=1}^nA_i\Big|=\sum_i|A_i|-\sum_{i<j}|A_i\cap A_j|+\sum_{i<j<k}|A_i\cap A_j\cap A_k|-\cdots+(-1)^{n+1}|A_1\cap\cdots\cap A_n|.$