Para demostrar que dos conjuntos son iguales, muestran que tienen los mismos elementos.
En primer lugar, imaginemos x∈A. Hay dos casos: O x∈B o x∉B. En el primer caso, x∈Ax∈B, lo x∈A∩B (por definición de intersección). En el segundo caso, x∈Ax∉B, lo x∈A∖B (de nuevo, por definición).
Esto muestra que si x∈A, x∈A∩B o x∈A∖B, es decir, x∈(A∖B)∪(A∩B).
Ahora tenemos que mostrar, por el contrario, que si x∈(A∖B)∪(A∩B),x∈A. Tenga en cuenta que x∈(A∖B)∪(A∩B) significa que cualquiera de las x∈A∖B o x∈A∩B. En el primer caso, x∈A (y también, x∉B). En el segundo caso, x∈A (y también, x∈B). En cualquier caso, x∈A, pero esto es lo que necesitábamos.
En resumen: se han demostrado tanto enA⊆(A∖B)∪(A∩B)(A∖B)∪(A∩B)⊆A. Pero esto significa que los dos conjuntos son iguales.