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