The question is: "Given two sets A and B, consider the sets A - B and B - A. Are they necessarily disjoint? Give a proof or a counterexample."

I know that they are disjoint, and I understand why. My professor said the best way to do this proof is to do a proof by contradiction.

So, I started out like this:

We proceed by contradiction. Suppose A - B and B - A are not disjoint. Then, by definition, (A-B) intersect (B-A) does not equal the empty set.

I don't know where to go from here. Can I do something like, "Put A = {1,2,3} and B = {3,4,5}" and then show how it must equal the empty set, or do A and B have to be arbitrary sets (have arbitrary elements)?