Seja A um conjunto finito e seja B ⊆ A. Prove que A = (A − B) ∪ B

Basta ver que, ao somarmos as cardinalidades de A e B, estamos contando a cardinalidade da interseção 2 vezes (uma para o A e uma para o B). Logo, precisamos retirar uma vez a cardinalidade de A interseção B.