Set Theory
Set Theory is one of the most reliable scoring areas in CAT Modern Maths, because almost every question reduces to one of two pictures: a two-circle or a three-circle Venn diagram. A set is just a collection of distinct objects, and the language of sets — union (everything in either), intersection (the common part), and complement (everything outside) — lets you count overlapping groups without double-counting. The single most important tool is the inclusion–exclusion principle, n(A∪B) = n(A) + n(B) − n(A∩B), and its three-set cousin. CAT loves the "survey" format: out of 100 students, so many study Maths, so many Physics, so many both, how many study neither? These reward students who fill the Venn regions from the inside out rather than blindly plugging formulas. This chapter builds that fluency: the union–intersection algebra, complement and De Morgan’s laws, and the prized max/min-overlap questions where you must squeeze the largest or smallest possible value of "exactly one" or "all three". Master the region-by-region method and these become quick, certain marks while others fumble with overlapping counts.
Topics
⚡ CAT shortcuts & speed methods
The fastest ways to crack this chapter under time pressure — the techniques that separate a 95+ percentiler from the rest.
- Two sets: n(A∪B) = n(A) + n(B) − n(A∩B). If you ever add without subtracting the overlap, you have double-counted.
- Always fill a 3-circle Venn from the centre outwards: triple first, then "exactly two" = pair − triple, then "only one".
- Exactly one = Σsingles − 2·Σpairs + 3·triple; exactly two = Σpairs − 3·triple. Memorise the 1, 2, 3 coefficients.
- "Neither / none" = Total − n(A∪B∪C). Compute the union once and subtract — don’t chase each negative condition.
- Min(all three) when everyone likes ≥1 of three sets ⇒ at least (Σsingles − 2·Total); if negative, the floor is 0.
- For two sets, min(both) = n(A) + n(B) − Total (when positive); max(both) = the size of the smaller set.
⚠️ Common mistakes & traps
CAT is designed so that careless errors here cost you marks. Internalise each trap before the exam.
- Adding n(A) and n(B) and forgetting to subtract n(A∩B) — the overlap gets counted twice.
- Treating "exactly two" as Σpairs; you must subtract 3·triple because the centre is inside all three pair regions.
- Confusing "at least two" (Σpairs − 2·triple) with "exactly two" (Σpairs − 3·triple).
- Forgetting the "neither" group when the universe total exceeds n(A∪B∪C).
- In max/min problems, ignoring the constraint that every region count must stay ≥ 0.
📈 CAT exam insight & PYQ analysis
🎴 Flashcards — instant recall
Tap a card to reveal the answer. Drill these until they are automatic.
📌 Quick revision
Chapter test
🏆 Vidaara CAT success checklist
You have truly mastered Set Theory when you can tick every box below.
- Recall every formula in this chapter without looking them up
- Solve each topic’s practice set with at least 80% accuracy
- Use the chapter shortcuts to cut your solving time in half
- Spot and avoid every common trap listed above
- Score 80%+ on the timed chapter test
📋 Chapter mastery scorecard
Track where you stand. Aim for the target before moving to the next chapter.
| Skill checkpoint | Target |
|---|---|
| Concept theory & formulas understood | 100% |
| Topic practice sets attempted (3 topics) | 3/3 |
| Best topic-test score | — → 80%+ |
| Chapter test score | — → 80%+ |
| Flashcards drilled to instant recall | 12 cards |
Formula Reference Sheet
Counting & inclusion–exclusion
| Two-set union | n(A∪B) = n(A) + n(B) − n(A∩B) |
|---|---|
| Three-set union | n(A∪B∪C) = n(A)+n(B)+n(C) − n(A∩B) − n(B∩C) − n(C∩A) + n(A∩B∩C) |
| Neither / outside | n(neither) = Total − n(A∪B∪C) |
| Only A (two sets) | n(A only) = n(A) − n(A∩B) |
| Subsets of a set | A set with n elements has 2ⁿ subsets, 2ⁿ−1 proper |
Exactly-k & complement laws
| Exactly one (three sets) | Σn(A) − 2·Σn(A∩B) + 3·n(A∩B∩C) |
|---|---|
| Exactly two (three sets) | Σn(A∩B) − 3·n(A∩B∩C) |
| At least two | Σn(A∩B) − 2·n(A∩B∩C) |
| Complement | n(A') = n(U) − n(A) |
| De Morgan’s laws | (A∪B)' = A'∩B' ; (A∩B)' = A'∪B' |