Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What are the steps of proving this?

If $A\cap B' = \varnothing$ then $A \subseteq B$

where $B'$ is the complement of $B$.

share|cite|improve this question
you really should accept some of the answers to your previous questions. – Nana Mar 22 '12 at 5:15

$x\in A \implies x\notin B^c \implies x\in B$

share|cite|improve this answer
The first implication holds because $A$ and $B^\prime$ cannot have any elements in common (this is what $A \cap B^\prime = \emptyset$ means). The second implication holds because any element you pick must either belong to a given set or belong to its complement, but not both. – Austin Mohr Mar 22 '12 at 6:18

Let me give it a try:

  • For every $A$, $A=b(A)\cup c(A)$ with $b(A)=A\cap B\subseteq B$ and $c(A)=A\cap B'\subseteq B'$.
    To prove this, note that $B\cup B'$ is everything hence $A=A\cap(B\cup B')=(A\cap B)\cup(A\cap B')$ by distributivity of $\cup$ with respect to $\cap$.
  • The hypothesis is that $c(A)=\varnothing$. Hence $A=b(A)$. Recall that $b(A)\subseteq B$, always. Hence $A\subseteq B$.

Note: The conditions that $A\cap B'=\varnothing$ and that $A\subseteq B$ are in fact equivalent.

share|cite|improve this answer

Since you are asking for the steps for proving the statement, I would like to say that write down the definitions of $$ A\cap B^c=\emptyset ,$$ $$B^c,$$ and $$ A\subset B $$ first. And then try to go on. (Here $B^c$ is your $B'$.)

share|cite|improve this answer

Nana proves it directly. A proof by contradiction is supplied here.

If $A = \emptyset$, then $A \subseteq B$.

If $A \neq \emptyset$, let $x \in A$. We want to show that $x \in B$.

Suppose not, then $x \in B'$. We have $x \in A \cap B' = \emptyset$ which is not possible.

Hence $A \subseteq B$.

Edit: I answered this question to test the proof approach and technique I learnt from school years ago. Would anybody point out anything that is wrong or inappropriate in the proof so that I can improve them? Thanks.

share|cite|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.