Subsets and Power Sets
A set with n elements has 2ⁿ subsets.
Key idea
A set with n elements has 2ⁿ subsets.
In depth
A ⊆ B means every element of A is in B. The power set P(A) is the set of all subsets of A; if |A| = n then |P(A)| = 2ⁿ, since each element is either in or out. The empty set is a subset of every set.
Worked example
P({a, b}) = {∅, {a}, {b}, {a, b}}, which has 4 elements.
Formula
Real-world uses
- Listing all possible combinations of toppings or features in a product configurator
Common mistake
Forgetting the empty set and the set itself.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Subsets and Power Sets?
A set with n elements has 2ⁿ subsets. It is a topic at the intermediate level in Discrete Math & Number Theory.
What is the formula for Subsets and Power Sets?
The key formula is |P(A)| = 2ⁿ.
Where is Subsets and Power Sets used in real life?
Real-world examples: Listing all possible combinations of toppings or features in a product configurator.
What should I learn before Subsets and Power Sets?
Make sure you are comfortable with Sets and Elements, the previous topic in Discrete Math & Number Theory.
What is a common mistake with Subsets and Power Sets?
Forgetting the empty set and the set itself.
How can I practise Subsets and Power Sets?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Subsets and Power Sets?
Move on to Set Operations next.
Related intermediate topics in Discrete Math & Number Theory
- Statements and Truth Values – A proposition is true or false, never both.
- Logical Connectives – AND, OR, NOT, implication and biconditional.
- Truth Tables – List all truth assignments to evaluate compound statements.
- Set Operations – Union, intersection, difference and complement.
- Venn Diagrams – Pictures of sets and their overlaps.
- Cartesian Products – All ordered pairs from two sets.