Considere que A e B sejam conjuntos finitos e não-vazios e sejam s1, s2, s3, s4, s5 e s6 os seguintes números inteiros:
s1: quantidade de elementos do conjunto A;
s2: quantidade de elementos do conjunto B;
s3: quantidade de elementos do conjunto A\( \cup \) B;
s4: quantidade de elementos do conjunto A\( \cap \) B;
s5: quantidade de elementos do conjunto A\B;
s6: quantidade de elementos do conjunto B\A.
Com base nessas informações, é correto afirmar que, para quaisquer conjuntos A e B nas condições especificadas,
s3 = s1 + s6.
