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