Considere que A e B sejam conjuntos finitos e não-vazios e sejam s₁, s₂, s₃, s₄, s₅ e s₆ os seguintes números inteiros:

s₁: quantidade de elementos do conjunto A;
s₂: quantidade de elementos do conjunto B;
s₃: quantidade de elementos do conjunto A\(\cup\) B;
s₄: quantidade de elementos do conjunto A\(\cap\) B;
s₅: quantidade de elementos do conjunto A\B;
s₆: 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,

s₃ + s₄ = s₁ + s₂.