Suppose that A\B is disjoint from C and x∈ A . Prove that if x ∈ C then x ∈ B . So I know that A\B∩C = ∅ which means A\B and C don't share any elements. But I don't necessarily understand how to prove this. I heard I could use a contrapositive to solve it, but how do I set it up. Which is P and which is Q (for P implies Q, or as the contrapositive: not Q implies not P)?