Venn Diagrams

1Ask whether one item can belong to both

Every class-relationship question collapses to one test: can a single real item sit in two of the named groups at once? Yes means the circles must overlap; no means they stay separate. Containment is the third answer — when every member of A is already a member of B, A lies entirely inside B rather than beside it. Pick a concrete person or object and try the labels on it: a mother who is a doctor, a wooden chair, a male engineer.

The trap is inventing an overlap from the shapes in the options instead of from the world. Doctors and engineers can both be women, so those circles may cross the Women circle; a table and a chair are never the same object, so those two stay disjoint even though both sit inside Furniture. Teachers, Males, Females is the same test twice: a teacher can be male or female (overlap), and no person is both male and female (disjoint). Lock each pair by membership, not by how the option booklet drew its circles.

Figure. The exam draws circles; this graph carries the same three answers without pretending to be a Venn. Solid subset, dashed may-overlap, and a disjoint edge are the only relations the best-fit questions ever need.

How it works

1. Name a concrete itemPick one real person or object that could wear the labels — a mother who is a doctor, a wooden chair, a male engineer. Abstract circle-talk without an item is how invented overlaps sneak in.
2. Test pairwise membershipFor each pair of labels, ask whether that item can carry both at once. Yes → overlap; no → separate circles. A teacher can be male: overlap. A male cannot be female: disjoint.
3. Check full containmentIf every A is necessarily a B (every mother is female), draw A inside B before you touch the overlapping categories. Subset is not a polite overlap; it is a forced nest.

2Fix definite subsets, then add overlaps

Best-fit diagram questions give three terms and ask which picture matches the real world. Lock every forced containment first — all mothers are females — then place independent categories as circles that may cross those regions. Do not force a doctor to be a mother, and do not force a mother to be a doctor. For Females, Mothers, Doctors the Mothers circle lies entirely inside Females. Doctors is a separate circle that overlaps Females and can therefore reach the Mothers lens inside it, but need not.

That 'can, but need not' is the whole independence. A doctor may be male, so Doctors is not nested inside Females. A mother may not be a doctor, so Mothers is not nested inside Doctors. Because Doctors crosses Females, some of that overlap can sit on the Mothers region — a mother-doctor is possible — without requiring every mother to be a doctor. Force the subset, treat Doctors as free to cross, and allow the Mothers lens as possible rather than required.

Figure. Forced skeleton only: Mothers inside Females, Doctors free to cross Females. The exam's overlapping circles are the same claim drawn with arcs the vocabulary cannot make.

Order of attack

1. Force the subsetAll mothers are females, so Mothers sits entirely inside Females. That nest is not optional and is not an overlap you might skip.
2. Treat Doctors as independentA doctor may or may not be female, and a female or mother may or may not be a doctor — so Doctors overlaps Females rather than nesting inside or outside it.
3. Allow the Mothers lensBecause Doctors crosses Females, it can also cover part of the Mothers region inside Females; that overlap is possible, not required for every mother.

3Two-set union, then neither

When the stem gives two group sizes and their overlap, the union is |A\cup B| = |A| + |B| - |A\cap B|. Subtracting the intersection once is what stops the both-region being counted twice. In a class of 40, 25 play cricket, 20 play football, and 8 play both: |C\cup F| = 25 + 20 - 8 = 37. Neither is then the universal total minus that union: 40 - 37 = 3.

The same arithmetic splits the picture into named patches if you need them: only cricket is 25 - 8 = 17, only football is 20 - 8 = 12, both is the given 8, and those three plus neither (3) rebuild the 40. Work the arithmetic before you trust a sketched diagram: the numbers decide the regions; the picture only labels them. Adding 25 and 20 without subtracting 8 would count the 8 twice and invent a union of 45, which cannot fit in a class of 40.

Figure. Union is |A| + |B| - |A and B|. The intersection is subtracted once so the overlap is not counted twice.

How it works

1. Form the unionAdd the two set sizes and subtract the both-count once. 25 + 20 − 8 = 37 is the number who play at least one of the two sports.
2. Subtract from the totalNeither = universal total − |A\cup B|. Here 40 − 37 = 3 people play neither cricket nor football.
3. Optional region splitOnly A = |A| - |A\cap B|; only B = |B| - |A\cap B|; both = the given intersection. Only cricket 17, only football 12, both 8, neither 3 rebuild the class of 40.

4Fill three-set counts from the centre out

A numerical three-set stem hands you totals for single sets and for intersections. The safe fill order is the centre first: write |A\cap B\cap C| in the triple-overlap, then peel each pairwise intersection by subtracting that centre so the pairwise lens holds only the exactly-two count, then peel each single set down to its only-A / only-B / only-C region. Filling an only-set first with a set total is the classic error — that total still includes the lenses and the centre.

A worked fill, using one consistent figure. Centre |A\cap B\cap C| = 5. Pairwise totals |A\cap B| = 12, |A\cap C| = 7, |B\cap C| = 7, so the exactly-two lenses are 12-5=7, 7-5=2, 7-5=2. Set totals |A|=18, |B|=20, |C|=12 then peel to only-A =18-12-7+5=4, only-B =20-12-7+5=6, only-C =12-7-7+5=3. The same peel is the quick identity |A\cap B| - |A\cap B\cap C|: if you are given 11 and 4, the region 'A and B but not C' is 7.

Inclusion-exclusion cross-checks the finished diagram: |A\cup B\cup C| = |A|+|B|+|C| - |A\cap B| - |B\cap C| - |C\cap A| + |A\cap B\cap C|. Here 18+20+12 - 12 - 7 - 7 + 5 = 29. If that union disagrees with the universal total minus neither, a region was double-counted. Sum every filled region (4+6+3+7+2+2+5=29) and compare.

Fill order

1. CentrePlace the all-three count in the middle region first. Here that count is 5. Nothing else is filled until this cell is written.
2. Pairwise lensesEach exactly-two region is that pairwise intersection minus the centre. |A\cap B|=12 minus 5 leaves 7 in 'A and B but not C'; the other two lenses peel to 2 and 2.
3. Only-one petalsOnly A = |A| minus both pairwise lenses that touch A minus the centre (equivalently |A| - |A\cap B| - |A\cap C| + |A\cap B\cap C|). Here only A is 18 − 12 − 7 + 5 = 4.
4. Cross-checkSum every filled region and compare with inclusion-exclusion against the given universal total. 4+6+3+7+2+2+5 = 29, matching 18+20+12-12-7-7+5.

5Name the region before you read its value

Each distinct patch of a Venn answers one English question: only A, A and B but not C, all three, neither. Misreading the stem as the wrong patch is a more common error than arithmetic. Label the patch in words first, then look up or compute its count. On the filled figure from the centre-out concept, 'only A' is the petal 4, 'A and B but not C' is the lens 7, and 'all three' is the centre 5 — three different English questions, three different numbers.

"A and B" in a three-set stem is ambiguous until you know whether C is allowed in — it may mean the full pairwise intersection (including the centre) or the exactly-two lens. The stem's "only" / "but not" wording is the decider. If the stem says "A and B" with no "only" / "not C", it usually wants the full |A\cap B| including those who are also in C (12 on that figure, not 7). Speak the patch before grabbing a number from the stem.

How it works

1. Translate the stemRewrite "only A", "both but not the third", "all three", or "neither" onto one named patch. 'A and B but not C' is the exactly-two lens, not the centre and not the full pairwise total.
2. Check "and" vs "only"If the stem says "A and B" with no "only" / "not C", it usually wants the full |A\cap B| including those who are also in C. On the filled figure that is 12, not the lens 7.
3. Then take the numberRead the count from the filled diagram or from the matching identity in the region table. Naming first, number second — never the reverse, even when the number is sitting in the picture.

6Subsets need not overlap each other

A common trap is assuming every pair of categories overlaps. Real-world mutual exclusion still applies inside a shared parent: Table and Chair are both Furniture, yet no object is a table and a chair at once, so those two circles sit separate inside the Furniture circle. Containment under a parent never invents a sibling overlap. The same pattern appears with Fathers and Mothers inside Parents, or with Odd numbers and Even numbers inside Integers.

Place the parent first — Furniture is the outer set that can hold the others. Test the siblings with the same membership question as the opening concept: can one object be both a table and a chair? No. Nest both sibling circles inside the parent with empty intersection. A picture that lets Table and Chair cross inside Furniture has invented an object the world does not contain.

Figure. Two subset edges into Furniture and a disjoint edge between Table and Chair — the trap of inventing a sibling overlap has nowhere to hide.

How it works

1. Place the parentFurniture (or Parents, or Integers) is the outer set that can hold the others. Both siblings will sit inside it; that is the nest, not the overlap.
2. Test the siblingsAsk whether one object can be both siblings at once. Table and chair: no — keep them disjoint. Fathers and mothers: no. Odd and even: no.
3. Nest without crossingDraw both sibling circles inside the parent with empty intersection. Subset into Furniture plus disjoint between Table and Chair is the whole diagram.