3
$\begingroup$

Suppose that A is a subset of B. How can we show that B-complement is a subset of A-complement?

  • 0
    yes, that's what I mean2011-01-09

2 Answers 2

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.

  • 1
    This 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$.