Sejam A e B conjuntos finitos e não vazios tais que A ⊂ B e n({C : C ⊂ B A}) = 128. Então, das afirmações abaixo:

I − n(B) − n(A) é único;
II − n(B) + n(A) ≤ 128;
III − a dupla ordenada (n(A), n(B)) é única;

é(são) verdadeira(s)

n (A): número de elementos do conjunto finito A