How to prove that a subset is a partition?

Question

If $A$ and $B$ are two sets, prove that $\{ A \cap B, A\setminus B \}$ is a partition of $A$.

I think this is a problem more of not knowing how to construct proofs than not comprehending the material (although, honestly, I'm finding myself to be quite weak in the Linear Algebra course I'm taking). As an aside to the question, I've acquired Velleman's How to Prove It, and I would not mind opinions as to whether that's a good start to learning how to answer questions such as this without looking at solutions.

Moving on to the question. From the way the set is defined, if $A$ is disjoint from $B$, is their intersection not the empty set?

Furthermore, I know that my proof needs to apply the definition of partition:

1. The union of the elements of $P$ is equal to $X$. (The elements of $P$ are said to cover $X$.)
2. The intersection of any two distinct elements of $P$ is empty. (We say the elements of $P$ are pairwise disjoint.)

But I'm not sure how to do this: I feel like if $A$ is disjoint from $B$ and my feeling that the intersection is the empty set is true, then I am in fact dealing with $A$, and that the singleton $\{A\}$ is a partition. But that's about as far as I get.

Any explanations that help me further my understanding of the material are extremely appreciated.

Answer 1

1. Do the union of the 2 elements of your set (i.e prove that $(A \cup B) \cup (A \setminus B) = A$).

2. Do the intersection of the 2 elements of your set (i.e prove that $(A \cup B) \cap (A \setminus B) = \varnothing$) .

Use the distribution properties of $\cap$ and $\cup$ as well as the definition of $(A \setminus B)$ to work throught the equations

Answer 2

(A $\cap$ B) = A $\setminus$ (A $\setminus$ B)
So we have then:
(A $\cap$ B) $\cup$ (A $\setminus$ B ) = (A $\setminus$ (A $\setminus$ B)) $\cup$ (A $\setminus$ B ) = A
On the other hand we have:
(A $\cap$ B) $\cap$ (A $\setminus$ B ) = (A $\setminus$ (A $\setminus$ B)) $\cap$ (A $\setminus$ B ) = $\varnothing$
So it is proved that it is a partition.