Dados dois conjuntos finitos quaisquer M e N:

1º. (M – N) é o conjunto dos elementos que estão em M e não estão em N;

2º. (M !$ ∪ !$ N) é o conjunto dos elementos que estão em M ou estão em N, podendo estar simultaneamente em M e N.

3º. (M !$ ∩ !$ N) é o conjunto dos elementos que estão simultaneamente em M e em N.

Dados 3 conjuntos finitos A, B e C, pode-se afirmar corretamente que (A – B) !$ ∪ !$ (B – C) !$ ∪ !$ (C – A) equivale a