[ITA - 1 FASE - 2011]Sejam A e B conjuntos finitos

[ITA - 1 FASE - 2011]

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)