Suppose that A is a subset of B. How can we show that B-complement is a subset of A-complement?
Proving $A \subset B \Rightarrow B' \subset A'$
3
$\begingroup$
elementary-set-theory
-
0yes, that's what I mean – 2011-01-09
2 Answers
4
Suppose $b\in B^c$. Is it possible that $b\in A$? Suppose it is, and derive a contradiction, and you should have your desired containment.
-
1This site uses TeX markup, my specific code is `$b\in B^c$` and `$b\in A$`. To get them to look the way they do, surround them with $ signs. Here is a [good list of basic symbols](http://www.artofproblemsolving.com/Wiki/index.php/LaTeX:Symbols). – 2011-01-09
5
Instead of using a proof by contradiction, $b\in B^c \implies b \notin A$ since $A \subset B$ hence $b \in A^c$ which implies the result.
The key here being that for all $x$, either $x\in X$ or $x\in X^c$.