Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Carefully prove that:

If $A,B,C$ are non-empty sets then $A \subseteq (B \cup C) \iff A \setminus C \subseteq B$.

So i need to prove

$A\subseteq(B\cup C) \implies (A\setminus C)\subseteq B$

and then

$(A\setminus C)\subseteq B \implies A\subseteq(B\cup C)$

So $x\in A$..

Can you provide the step by step proof please. Thank you in advance

share|improve this question
    
There are usually no "step-by-step" answers in this site. Askers are expected to do some self effort on their own and complete to a whole answer. –  DonAntonio Aug 30 '13 at 7:56
    
The statement is true even if one or more of the sets, $A,\,B$ and $C$ are empty. –  Alraxite Aug 31 '13 at 0:50

2 Answers 2

up vote 2 down vote accepted

Suppose $A\subseteq B\cup C$. Let $x\in A\setminus C$. Then $x\in A$ and from $A\subseteq B\cup C$, we conclude $x\in B\cup C$. Now use the fact that $x\not\in C$.

To prove the reverse implication, suppose $A\setminus C\subseteq B$ and let $x\in A$. Now consider two cases: $x\in C$ and $x\not\in C$.

share|improve this answer

For each side of the equivalence, expand the definitions and simplify. Finally compare the results.

For the left hand side, \begin{align} & A \subseteq B \cup C \\ \equiv & \;\;\;\;\;\text{"definition of $\;\subseteq\;$"} \\ & \langle \forall x :: x \in A \;\Rightarrow\; x \in B \cup C \rangle \\ \equiv & \;\;\;\;\;\text{"definition of $\;\cup\;$"} \\ & \langle \forall x :: x \in A \;\Rightarrow\; x \in B \lor x \in C \rangle \\ \equiv & \;\;\;\;\;\text{"rewrite $\;\Rightarrow\;$"} \\ & \langle \forall x :: x \not\in A \lor x \in B \lor x \in C \rangle \\ \end{align}

Do the same for the other side, compare, and conclude.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.