Prove that if $A\Delta B\subseteq A$ then $B\subseteq A$.

elementary-set-theoryproof-writingsolution-verification

Not a duplicate of

Prove that if $A \bigtriangleup B\subseteq A$ then $B \subseteq A.$

Prove that if $A \mathop \triangle B \subseteq A$ then $B\subseteq A$

This is exercise $3.5.5$ from the book How to Prove it by Velleman $($$2^{nd}$ edition$)$:

Prove that if $A\Delta B\subseteq A$ then $B\subseteq A$.

Here is my proof:

Suppose $A\Delta B\subseteq A$. Let $x$ be an arbitrary element of $B$. Suppose $x\notin A$. From $x\in B$ and $x\notin A$, $x\in B\setminus A$. Ergo $x\in(B\setminus A)\cup(A\setminus B)$. From $A\Delta B\subseteq A$ and $x\in(B\setminus A)\cup(A\setminus B)$, $x\in A$ which contradicts the assumption that $x\notin A$. Therefore $x\in A$. Thus if $x\in B$ then $x\in A$. Since $x$ is arbitrary, $\forall x(x\in B\rightarrow x\in A)$ and so $B\subseteq A$. Therefore if $A\Delta B\subseteq A$ then $B\subseteq A$. $Q.E.D.$

Is my proof valid$?$ Is there a way to prove the above statement directly $($not using proof by contradiction$)?$ If there is, then please provide me with hints and not complete answers.

Thanks for your attention.

Best Answer

Hint: If $B\Delta A= (B\setminus A) \cup (A\setminus B) \subset A$, what can you say about $B\setminus A$?