Independent topic page
Sets full marks come from a fixed toolkit: roster/set-builder clarity → Venn or algebra of sets → De Morgan / inclusion-exclusion → verify with a 2–3 element test set.
01. Why Sets is independent: Venn/cardinality skills differ from relation properties and from counting models. Bundling them made students skip De Morgan drills.
02. Common process: parse the set expression → expand with laws → count with inclusion-exclusion or Venn regions → spot-check.
03. Quick formulas (De Morgan, |A∪B|, complement) must be writable cold; they appear inside Algebra and Probability joins.
04. Full marks mindset: identities are true/false statements — prove or kill with a tiny counterexample set when stuck on MC.
05. Advanced lane: cardinality word problems need a region table (only A, only B, both, neither) — algebra of sets first, then fill counts so nothing is double-counted.
06. Identity / MATCH options die on a 3-element universe test; keep one tiny U ready for every suspicious equality.
Official · 2026
Official syllabus points for Sets only — not the full Algebra portion map. Portion hub: Algebra · Algebra analysis.
No topic-specific exclusions flagged — finish the unit points below for Sets.
Source: https://jeeadv.ac.in/documents/jee-advanced-2026-syllabus.pdf
Exam focusSet algebra, Venn/cardinality language, and Cartesian products.
Syllabus points
2020–2026 paper weight
Topic match inside parent portion Algebra (37.2% of Math tags). Stats below are portion backdrop; matched subtopics show where Sets sits.
Portion-wide type/difficulty mix lives on the Algebra analysis — not repeated here so this page stays on Sets.
01. Dominant subtopics: Probability (18), Matrices (15), Sets/Relations (12), Complex (12).
Cross-topic stems
Advanced rarely asks a chapter in isolation. These are tagged multi-idea Math stems that touch Sets — practise the knowledge bridge, not only the single-chapter drill.
Step 1: set y = e^{-x} equal to y = e^{-x}(sin x + cos x) and cancel the common exponential to get a trig equation for intersection abscissae α_i. Step 2: order those roots and set up the definite integral of the difference of the two curves between α_1 and α_4 for the enclosed area β. Step 3: simplify the given log expression in β to a clean numerical value.
The stem hides trig solving inside an exponential envelope; students often integrate before finding exact limits.
Drill ‘cancel common positive factor → trig roots → area integral’ as one reflex chain.
Step 1: solve the two ellipse equations simultaneously for the first-quadrant intersection P. Step 2: differentiate implicitly to get slopes of both tangents at P; convert the angle formula into 4 tan θ. Step 3: for the common area, set up the integral (or standard ellipse-sector form) of the overlapping region and read cot α from that area.
Two different asks on one geometry figure — angle then area — under numerical fatigue.
For two conics, always compute intersection → slopes → area in that fixed order.
Why methods matter
Sets questions punish fuzzy Venns. These methods push exact region language and tiny-universe checks — so identities and cardinality become mechanical.
Simplifying first prevents counting a monster expression region-by-region.
Do thisSimplify the expression with laws before assigning numbers.
Prevents counting a complicated expression region-by-region blindly.
|(A∪B)′| = |A′∩B′| = |U|−|A∪B|. De Morgan first, then one inclusion-exclusion.
Disjoint regions end double-counting — the usual survey-problem failure.
Do thisList disjoint Venn regions and assign values; never double-use overlapping data.
Stops the ‘added |A| and |B| twice’ error.
For 2-set: fill |A∩B| first, then only A, only B, outside. Sum to |U|.
False identities die in seconds — use this on every suspicious MC option.
Do thisFor identity MC, test both sides on U={1,2,3} with concrete A,B.
False identities die in 20 seconds.
Suspect (A∪B)′ = A′∪B′? Counterexample kills it; correct is A′∩B′.
Fixes language errors before arithmetic — ‘neither/only/both’ stops being fuzzy.
Do thisTranslate English (‘both’, ‘only’, ‘neither’) into region language before arithmetic.
Most word-problem errors are language errors.
‘Neither’ = outside A∪B = |U|−|A∪B|. Write that before computing.
Processed examples
Read the impact line first. Then notice which family/model was chosen. The solution is written the way your rough sheet should look in the hall.
|A|=20, |B|=15, |A∩B|=8. Find |A∪B|.
Union without subtracting intersection is the classic leak.
Model chosenIE: |A|+|B|−|A∩B|.
Answer27
Takeaway: Always subtract the intersection once — then sanity-check against max.
Is (A∪B)′ = A′∪B′ always true?
False identities die with a tiny universe — train that reflex for MC.
Model chosenDe Morgan: complement of union is intersection of complements.
AnswerNo — equals A′∩B′
Takeaway: Tiny-U test before long algebra on MC.
|A|=60, |B|=55, |C|=50; pairwise |A∩B|=18, |B∩C|=16, |C∩A|=14; |A∩B∩C|=5. How many elements lie in exactly one of the three sets?
Exactly-one is not the union — Advanced grades the multiplicity correction.
Model chosenExactly-one = Σ|A| − 2Σ|A∩B| + 3|A∩B∩C|.
Answer84
Takeaway: Track how often each Venn region was counted — that is the method.
Reusable models
Advanced stems cluster. Name the family in 10–15s, write the fast model, then run the same path. Do not invent a new plan each time.
Looks likeSurvey / |A∪B∪C| / how many like both
Fast modelInclusion-exclusion with all terms, or fill disjoint Venn regions (centre first).
Region discipline stops double-counting overlaps.
Do not add |A|+|B|+|C| and call it union.
Looks likeSimplify (A∪B)′ or prove equality of set expressions
Fast modelApply De Morgan outside-in; verify with a 3-element universe if MC.
Counterexample kills false identities in 20s.
Do not draw ornate Venns for pure identity algebra.
Looks likeNeither / only A / both / at least one
Fast modelTranslate English to region language before arithmetic.
Language errors dominate word problems — translation first fixes them.
Do not compute |A∪B| when the ask was ‘only A’.
Looks likeExactly one / exactly two / none of the three
Fast modelCorrect multiplicities: exactly-one = Σ|A| − 2Σ pairwise + 3|triple|.
Stops confusing ‘exactly one’ with the ordinary union.
Do not answer |A∪B∪C| when the stem asked exactly one.
Hall timing
Underline universe U if complements appear. List named sets A,B,C. Do not draw a fancy Venn before knowing what is asked.
Identities → algebra. Numbers of students liking X/Y → Venn regions. |A∪B∪C| with overlaps → inclusion-exclusion with all terms.
Keep a region checklist: only A, only B, A∩B only, etc. Missing a region is the classic leak.
If an MC identity fails on {1,2,3}, it is false — no need for a long proof under time pressure.
After the model is locked
(A∪B)′ = A′∩B′ ; (A∩B)′ = A′∪B′
Complements of unions/intersections
|A∪B| = |A|+|B|−|A∩B|
Cardinality with overlap
|A∪B∪C| = |A|+|B|+|C|−|A∩B|−|B∩C|−|C∩A|+|A∩B∩C|
Full inclusion-exclusion
|A′| = |U|−|A|
Universe known
|A|−|A∩B|
Venn ‘only A’ region
A∩(B∪C)=(A∩B)∪(A∩C)
Expanding intersections over unions
A∪A=A ; A∩A′=∅ ; A∪A′=U
Quick MC kills
Make it automatic