NDA Maths · Sets & Relations
Counting, Subsets and Inclusion-Exclusion
An n-element set has 2ⁿ subsets; the inclusion-exclusion principle counts a union by adding the parts and subtracting the overlaps — the engine behind every Venn 'survey' word problem.
Why this matters
27 PYQs — the largest subtopic, and the home of the chapter's highest-yield HARD genre: the survey word problem (so many like cricket, so many like both, how many like exactly two). Master two things — counting subsets with 2ⁿ, and the exactly-one / exactly-two / all-three accounting — and you cover most of these marks.
Concept 1 of 4
Power set and counting subsets
Intuition
Definition
The counting rules:
- A set with elements has subsets (the power set ), of which are proper subsets (all except the set itself).
- Supersets of a fixed set : fix x as 'in', let the other elements vary subsets contain x.
- Count carefully when elements are themselves sets: has ONE element, so .
- Symmetry trick: in a -element set, the subsets of size are exactly half of all subsets .
Worked example
- Subsets of size pair up with subsets of size by complementation — exactly half of all subsets.
- So that count is .
- Set .
Practice this conceptself-check · 4 quick reps
Try it yourself
Practice — Level 1 (4 reps)
Quick reps to lock in the method. Try each, then check.
- 1.How many subsets does a 10-element set have?
- 2.How many proper subsets does a 6-element set have?
- 3.If , how many elements has ?
- 4.How many subsets of an 8-set contain a fixed element x?
From the bank · past-year question
[Q7 · Apr · 2026]
Count the elements before raising 2 to a power
Concept 2 of 4
Inclusion-exclusion for two sets
Intuition
Definition
The two-set rule and its uses:
- .
- For sets of multiples, uses the LCM: multiples of 3 multiples of 2 are multiples of 6.
- Least overlap: (when the union can't exceed the universe). Most overlap: .
Worked example
- Everyone likes at least one, so .
- Inclusion-exclusion: .
- .
Practice this conceptself-check · 3 quick reps
Try it yourself
Practice — Level 1 (3 reps)
Quick reps to lock in the method. Try each, then check.
- 1.. Find .
- 2.Multiples of 4 multiples of 6 are multiples of?
- 3.in a universe of 100. Least ?
From the bank · past-year question
[Q43 · Sep · 2021]
Overlap of multiples uses LCM, not product
Concept 3 of 4
Inclusion-exclusion for three sets
Intuition
Definition
The three-set rule:
- .
- This equals the sum of the seven disjoint Venn regions.
- Maximising/minimising the union: the only free quantity is the triple overlap . The union grows with x; x is bounded by of the pairwise intersections.
Worked example
- The triple overlap can be at most the smallest pairwise intersection: .
- The union increases with x, so use .
- .
Practice this conceptself-check · 3 quick reps
Try it yourself
Practice — Level 1 (3 reps)
Quick reps to lock in the method. Try each, then check.
- 1.Write the sign of the triple-overlap term in the 3-set formula.
- 2.The 3-set formula equals the sum of how many disjoint regions?
- 3.Triple overlap is bounded above by?
From the bank · past-year question
[Q17 · Apr · 2019]
Mind the alternating signs
Concept 4 of 4
Survey problems — exactly one, exactly two, all three
Intuition
Definition
The accounting identities (let one/two/three = people in exactly one / exactly two / all three regions):
- Total in the union . This is the 'exactly' decomposition — NOT the raw inclusion-exclusion sum.
- Sum of pairwise intersections , so exactly two .
- At least two .
- Exactly one .
Worked example
- Each 'exactly two' person sits in one pairwise-intersection region: contributes 1 to S.
- Each 'all three' person sits in all three pairwise intersections: contributes 3 to S.
- So .
Practice this conceptself-check · 4 quick reps
Try it yourself
Practice — Level 1 (4 reps)
Quick reps to lock in the method. Try each, then check.
- 1.exactly two = (sum of pairwise) − ? × (all three)
- 2.at least two = exactly two + ?
- 3.Total in union (exactly form) = exactly one + exactly two + ?
- 4.exactly one = total − ?
From the bank · past-year question
[Q40 · Sep · 2024]
'Exactly two' is not the sum of pairwise intersections
Summary — formulas & gotchas at a glance
A revision cheat-sheet for the formulas and gotchas above. Click any concept name to jump back to its full explanation.
Watch out for (4)
- Count the elements before raising 2 to a power→ Power set and counting subsets
- Overlap of multiples uses LCM, not product→ Inclusion-exclusion for two sets
- Mind the alternating signs→ Inclusion-exclusion for three sets
- 'Exactly two' is not the sum of pairwise intersections→ Survey problems — exactly one, exactly two, all three
Mastery check — 5 interleaved questions
Try each one before clicking. Questions are interleaved across the concepts above, not grouped — interleaving sharpens transfer.
[Q23 · Apr · 2022]
[Q16 · Apr · 2020]
[Q14 · Apr · 2018]
[Q34 · Sep · 2022]
[Q15 · Apr · 2019]
Drill every past-year question on this subtopic
27 questions from the bank — paginated, with cart and Word-export support.