Proof of Set Theory: A \subseteq B implies Bc \subseteq Ac

Click For Summary
SUMMARY

The proof demonstrates that for any sets A and B, if A is a subset of B (A ⊆ B), then the complement of B (Bc) is a subset of the complement of A (Ac). The proof logically follows by defining an element x in Bc, which leads to the conclusion that x cannot be in A, thus confirming that x must be in Ac. The discussion also suggests enhancing the proof by explicitly stating the reasoning behind the implication that x not being in B leads to x not being in A.

PREREQUISITES
  • Understanding of set theory concepts, specifically subsets and complements.
  • Familiarity with logical reasoning and proof techniques.
  • Basic knowledge of mathematical notation and terminology.
  • Experience with formal proofs in mathematics.
NEXT STEPS
  • Study the properties of set complements in detail.
  • Learn about different proof techniques in set theory, such as direct proof and proof by contradiction.
  • Explore additional set theory theorems and their proofs, such as De Morgan's laws.
  • Practice writing formal proofs to enhance clarity and rigor in mathematical arguments.
USEFUL FOR

Students of mathematics, particularly those studying set theory, logic, and formal proofs. This discussion is beneficial for anyone looking to strengthen their understanding of subset relationships and proof construction.

cmajor47
Messages
53
Reaction score
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!
 
Physics news on Phys.org
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.
 

Similar threads

Prove every subset of countable set is either finite or else countable
  • · Replies 1 ·
Replies
1
Views
2K
Set Theory: Power sets of Unions
  • · Replies 3 ·
Replies
3
Views
2K
Is My Proof That the Union of Subsets is a Subset Correct?
  • · Replies 1 ·
Replies
1
Views
2K
Topology by Simmons Problem 1.2.1
  • · Replies 5 ·
Replies
5
Views
2K
Showing that the empty set is subset of every set
  • · Replies 6 ·
Replies
6
Views
2K
Every subset of a finite set is finite
  • · Replies 1 ·
Replies
1
Views
2K
Proof of A Union of A Intersection B Equals A
  • · Replies 6 ·
Replies
6
Views
2K
Is the Number of Elements in a Set Equal to Its Power Set?
  • · Replies 3 ·
Replies
3
Views
2K
Metric Spaces: Interior of a Set
  • · Replies 2 ·
Replies
2
Views
2K
Why is D4 not primitive on the vertices of a square?
  • · Replies 2 ·
Replies
2
Views
1K