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
um único valor.
apenas dois valores distintos.
apenas três valores distintos.
apenas quatro valores distintos.
mais do que quatro valores distintos.