Set Theory Proof

  • Thread starter cmajor47
  • Start date
  • #1
57
0

Homework Statement


For all sets A and B, if A [tex]\subseteq[/tex] B then Bc [tex]\subseteq[/tex] Ac.


Homework Equations





The Attempt at a Solution


Proof: Suppose A and B are sets and A [tex]\subseteq[/tex] B.
Let x [tex]\in[/tex] Bc
By definition of complement, if x [tex]\in[/tex] Bc then x [tex]\notin[/tex] B
Since x [tex]\notin[/tex] B, x [tex]\notin[/tex] A
Since x [tex]\notin[/tex] A, x [tex]\in[/tex] Ac by definition of complement
Therefore if A [tex]\subseteq[/tex] B then Bc [tex]\subseteq[/tex] Ac.

I just want to make sure that this proof is correct and that there are no mistakes. Thanks!
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,260
619
It's fine. You might want to enhance it's proofiness by stating the reason why x not in B implies x not in A as you gave a reason for the other lines.
 

Related Threads on Set Theory Proof

  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
3
Views
857
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
864
  • Last Post
Replies
6
Views
607
M
  • Last Post
Replies
12
Views
3K
  • Last Post
Replies
3
Views
900
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
4
Views
2K
Top