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.

If $U = A \backslash B$ , do we then have $A \backslash U = B$ or just $A \backslash U \subseteq B$?

share|improve this question
Drawing some diagrams often helps with this kind of thing. –  G. Bach May 6 '14 at 2:11

3 Answers 3

up vote 3 down vote accepted

HINT: Consider the case that $B$ is not a subset of $A$.

share|improve this answer
ah, so the answer is no, thank you. –  Xin Wang May 5 '14 at 22:28

Hint: To understand what is $A\setminus U$ you need to understand what elements of $A$ are also in $U$.

Those are exactly the elements that are not also in $B$, what are we left with ?

I suggest you draw a venn diagram to see things more clearly

share|improve this answer

We have that $$X\setminus Y = X \cap Y^c.$$

Using this identity your question is:

$$\text{Does }U = A \cap B^c\text{ imply } A\cap U^c = B \text{ ?}$$

Let's see:

\begin{align} A \cap U^c &= A \cap (A \cap B^c)^c \\ &= A \cap(A^c \cup B) \\ &= (A \cap A^c) \cup (A \cap B) \\ &= \varnothing \cup (A \cap B) = A \cap B \end{align}

Surely $A \cap B \subseteq B$, but without any assumptions $A \cap B \neq B$. The last part is true if and only if $B \subseteq A$, so to find a counterexample, take $A = \varnothing$ and $B = \{\spadesuit\}$. Now, the premise tells us that $U = A \setminus B = \varnothing$, but $A \setminus U = \varnothing \neq \{\spadesuit\} = B$.

I hope this helps $\ddot\smile$

share|improve this answer

Your Answer


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.