2
$\begingroup$

i am trying to prove this statement, it is obvious, but i just cannot get the clue where and how to start to prove that this statement is true.

the statement is this: $(A \setminus C)\times(B \setminus D)\subset(A \times B)\setminus(C \times D)$

i am starting like this:

$x \in A \wedge x \notin C \times x \in B \wedge x \notin D $ ... but i dont know how to come to the idea that this is a subset of the right side of the first statement. :(

can someone give me a hint please?

thanks a lot

2 Answers 2

6

Pick an element in the left side, and show its in the right side.

Suppose $(x,y)\in (A\setminus C) \times (B\setminus D)$.

Then we have that $x\in A$, $x\notin C$ and $y\in B$, $y\notin D$.

So since $x\in A$ and $y\in B$ what can we say about $(x,y)$?

And since $x\notin C$ (and $y\notin D$) what can we say about $(x,y)$?

  • 0
    @doniyor glad I could help!2012-11-11
1

Actually, your starting point is false. You have to start with the definition of "Cartesian product ". So, $(x,y) \in (A-B)\times (B-D)$ must be your start point. Then, your next step will be: $x \in (A-B) \wedge y\in(B-D) $.