Prove that $A - B=A\cap B^c$

The problems is exactly what is stated in the title.

Have been stuck on this for a while now. Thanks. 


Let $x \in A \setminus B$. By definition $x \in A$ and $x \not \in B$, or equivalently $x \in B^c$; it follows that $x \in A \cap B^c$, so $A \setminus B \subseteq A \cap B^c $.

Let $x \in A \cap B^c$. By definition $x \in A$ and $x \in B^c $, or equivalently $x \not \in B$; it follows that $x \in A \setminus B$, so $A \cap B^c \subseteq A \setminus B$.

The double inclusion holds, so $A \setminus B = A \cap B ^c$.

The answer is accepted.
Join Matchmaticians Affiliate Marketing Program to earn up to a 50% commission on every question that your affiliated users ask or answer.