Sejam A e B dois conjuntos disjuntos, ambos finitos e não-vazios, tais que n(P(A) ∪ P(B)) + 1 = n(P(A ∪ B)). Então, a diferença n(A) − n(B) pode assumir

 Notações

P (A): conjunto de todos os subconjuntos do conjunto A
N(A): número de elementos do conjunto finito A