# Discrete Math proof equality

I need to prove this: If $A \subseteq B$ and $B\subseteq A$, then $A = B$.

I know that $A \subseteq B \implies (x \in A\implies x \in B)$ and similarly $B \subseteq A \implies (x \in B \implies x \in A)$.

How can I prove that $A=B$?

So, the result is:

$$(x\notin A \wedge x \in A)\vee (x\notin A \wedge x\notin B)\vee (x\in B\wedge x\notin B)\vee (x\in B\wedge x\in A)$$

But plainly $x \notin A \wedge x \in A$ and $x \in B \wedge x \notin B$ are false, so

$$(x \notin A \wedge x \notin B) \vee (x \in A \wedge x \in B)$$

Is that correct?

-

$A\subseteq B$ means that $x\in A\implies x\in B$. $B\subseteq A$ means that $x\in B\implies x\in A$. But $A=B$ means that $x\in A\iff x\in B$. Therefore, $A\subseteq B$ and $B\subseteq A$ if and only if $A=B$.