PDA

View Full Version : if B is included in C, then the power set of B is included in the power set of C?


yxgao
Feb10-04, 09:18 PM
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?

Hurkyl
Feb10-04, 11:44 PM
What have you tried already? I'd imagine just starting with the definitions would give a strong clue.

vadik
Apr6-04, 05:17 PM
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?