Proving Power Set Inclusion When B is Included in C

Click For Summary
To prove that if set B is included in set C, then the power set of B is included in the power set of C, one can start with the definitions of power sets and subsets. The power set of C contains all subsets of C, which inherently includes all subsets of any subset of C, including B. Therefore, every subset of B, which constitutes the power set of B, is also a subset of C. This leads to the conclusion that the power set of B must be included in the power set of C. The argument is formal and aligns with set theory principles.
yxgao
Messages
122
Reaction score
0
How do you show that if B is included in C, then the power set of B is included in the power set of C?
 
Physics news on Phys.org
What have you tried already? I'd imagine just starting with the definitions would give a strong clue.
 
Power set of C includes all subsets of C, which means that it also includes all subsets of a subset (B). Thus it includes the power set of B.
Is this formal enough?
 

Thread 'My basic understanding of set theory'

If there are an infinite number of natural numbers, and an infinite number of fractions in between any two natural numbers, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and... then that must mean that there are not only infinite infinities, but an infinite number of those infinities. and an infinite number of those...
View full post »

Similar threads

Undergrad Countability of binary Strings
  • · Replies 18 ·
Replies
18
Views
3K
MHB ZFC and the Axiom of Power Sets ....
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Cardinality of the Power Series of an Infinite Set
  • · Replies 19 ·
Replies
19
Views
4K
MHB Translate the statements into set inclusion
  • · Replies 5 ·
Replies
5
Views
1K
MHB Operations on Sets: Proving A⊆B⊆C & A∪B=B∩C
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Axiom of Choice: Disjoint Family ##\Rightarrow ## Power Set
  • · Replies 10 ·
Replies
10
Views
3K
Is the Subtraction of Power Sets Possible?
  • · Replies 4 ·
Replies
4
Views
6K
Undergrad Thinking about equality of infinite sets
  • · Replies 5 ·
Replies
5
Views
2K
MHB Proof of a set union and intersection
  • · Replies 1 ·
Replies
1
Views
1K
MHB Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
  • · Replies 1 ·
Replies
1
Views
2K