Consideremos A e B dois subconjuntos de um universo U e representemos por n(X) o número de elementos do conjunto X. Dadas as afirmações,
I. !$ n(A\,\cup\,B) = n(A) + n(B) !$
II. !$ n(A - B) = n(A) - n(B) !$
III. !$ n(A\,\cap\,B) = n(A\,\cup\,B) - n(A) + n(B) !$
II. !$ n(A - B) = n(A) - n(B) !$
III. !$ n(A\,\cap\,B) = n(A\,\cup\,B) - n(A) + n(B) !$
temos que