I'm trying to do proofs using element method, but a few problems popped up with Cartesian products in them. How do these fit in?
For example, I know I can break
(A $\cap$ B) into $\ [x \in A] \wedge [x \in B]$
How do I work Cartesian products into this?
One example problem I'm working on is:
$$ (A\times B)-(A\times C) \subset A\times(B-C) $$
Can someone help step me through this? Thank you!