Prove that $A \cup C \subseteq B \cup C$ iff $A \setminus C \subseteq B \setminus C$
Yes you can eliminate cases using contradiction,your proof writing is totally ok..
Yes you can eliminate cases using contradiction,your proof writing is totally ok..