Sejam A e B dois conjuntos tais que:

Sabe-se que a união de um conjunto com ele mesmo é igual a ele mesmo. Sendo assim:

Se o conjunto (A - B) é igual ao conjunto A, podemos determinar que:

Sabe-se também que a intercessão de um conjunto qualquer ao conjunto vazio é igual ao vazio. Logo:

