A Venn diagram is not decoration around a counting question. It is a map of logical membership. Every region says who belongs, who does not belong, and which conditions are true at the same time. Once that logic is represented correctly, much of the arithmetic becomes ordinary addition and subtraction.
This thirteenth Secondary 4 Mathematics Learning Guide develops set language as a system for organising information before counting it. It belongs to the Secondary Mathematics Hub and S1–S4 Capability Map. The guide covers union, intersection, complement, subsets, Venn diagrams, inclusion-exclusion reasoning and common real-world counting structures.
Current syllabus connection: set language, notation, union, intersection and Venn diagrams are explicitly listed in both the 2026 O-Level Mathematics 4052 and 2027 SEC G3 Mathematics K310 syllabus structures. Use the official 2026 O-Level syllabus page or 2027 SEC G3 syllabus page for cohort-specific examination information.
The first question: what is the universe?
The universal set contains every object under discussion. A complement only makes sense relative to that universe. If the universal set is “students in Class 4A”, then A′ means students in Class 4A who are not in A. It does not mean every person in the school, country or world who is not in A.
Before filling a Venn diagram, write the population and its total. This single habit prevents many later errors because it makes “outside both sets” a meaningful region rather than an afterthought.
Set notation as compressed language
| Notation | Meaning | Question to ask |
|---|---|---|
| A ∪ B | In A or B or both | Does the object belong to at least one set? |
| A ∩ B | In both A and B | Are both conditions true? |
| A′ | Not in A, within the universal set | Which objects in the universe fail condition A? |
| n(A) | Number of elements in A | How many members does A contain? |
| ∈ | Is an element of | Is this object a member of the set? |
| ∉ | Is not an element of | Is this object excluded from the set? |
| A ⊆ B | Every element of A is also in B | Can anything belong to A without belonging to B? |
| ∅ | Empty set | Does the set contain no elements? |
The word “or” in set union is inclusive. A ∪ B includes the overlap unless the question explicitly says “A or B but not both”. The word “and” normally points toward intersection. Translate the sentence before touching the numbers.
Worked Example 1 | Two sets and the double-counting problem
In a group of 40 students, 24 study Mathematics enrichment, 18 study Science enrichment and 9 study both. How many study at least one of the two programmes?
If we add 24 + 18, the 9 students in both programmes are counted twice. Subtract one copy of the overlap:
n(M ∪ S) = n(M) + n(S) − n(M ∩ S)
= 24 + 18 − 9 = 33.
Therefore 40 − 33 = 7 students study neither programme.
The formula works because the first addition includes the overlap twice and the subtraction removes one extra copy. Understanding that reason is more durable than memorising a line of symbols.
Fill the overlap first
For a two-set Venn diagram, the intersection usually constrains both circles. If 24 are in M and 9 are in both, then the M-only region is 24 − 9 = 15. Similarly the S-only region is 18 − 9 = 9.
The completed regions are therefore 15 in M only, 9 in both, 9 in S only and 7 in neither. Check the whole universe: 15 + 9 + 9 + 7 = 40.
When a total includes an overlap, remove the overlap before calling what remains “only”.
“Only” changes the meaning of the number
If a question says 24 students study Mathematics, that total normally includes students who also study Science. If it says 24 study only Mathematics, then the overlap has already been excluded. Mixing these meanings can produce a diagram that looks numerically complete but represents the wrong information.
Underline words such as only, both, neither, at least one and exactly one. They are structural instructions.
Worked Example 2 | Exactly one set
Using the previous data, how many students study exactly one of the two programmes?
Exactly one means M only plus S only:
15 + 9 = 24 students.
It does not mean the union, because the union includes the 9 students studying both programmes.
Complements turn “not” into a countable region
If the universal set contains 40 students and n(M) = 24, then n(M′) = 16. These 16 include students in S only and students in neither set. The complement is everything outside M, not merely everything outside both circles.
This distinction is especially useful when a question is phrased negatively: “not in Mathematics”, “not in either”, “not both”, or “in neither”. Translate the wording into regions before calculating.
De Morgan-style thinking without unnecessary jargon
“Not in A or B” in the sense of being outside the union corresponds to being in neither set. “Not in both” is different: it excludes the intersection but allows A-only, B-only and neither. The wording is close; the regions are very different.
A reliable way to avoid confusion is to shade the required region before counting. If the shaded picture does not match the sentence, fix the representation before using a formula.
Subsets: every member must pass the test
A ⊆ B means every element of A is also an element of B. To disprove the claim, one counterexample is enough: find a member of A that is not in B.
The empty set is a subset of every set because there is no element in the empty set that violates the condition. This can feel strange at first, but it follows from the definition rather than from a picture.
Do not confuse “element of” with “subset of”. If A = {1, 2, 3}, then 2 ∈ A. The set {2} is a subset of A. The number 2 itself is not normally written as a subset of A.
Worked Example 3 | Turn a word description into a diagram
Fifty people are surveyed. Twenty-eight prefer tea, 31 prefer coffee and 16 prefer both. Find the number who prefer only tea, only coffee, neither and exactly one beverage.
Tea only = 28 − 16 = 12.
Coffee only = 31 − 16 = 15.
Union = 12 + 16 + 15 = 43.
Neither = 50 − 43 = 7.
Exactly one = 12 + 15 = 27.
Check the set totals: 12 + 16 = 28 and 15 + 16 = 31. Check the universe: 12 + 16 + 15 + 7 = 50. The same completed diagram supports several questions once the regions are correct.
Three sets: start from the deepest overlap
A three-set Venn diagram has more regions because “A and B” may include people who are also in C. If a question supplies pairwise intersections and a triple intersection, the safest order is usually:
- fill A ∩ B ∩ C first;
- use the pairwise totals to find the pairwise-only regions;
- use the individual set totals to find the single-only regions;
- add every region inside the circles;
- subtract from the universal total to find neither.
The central region affects all three circles and all three pairwise intersections. Filling it last often causes it to be counted repeatedly.
Worked Example 4 | Three-set reconstruction
In a cohort of 100 students, 48 join Art, 52 join Music and 40 join Drama. Twenty join both Art and Music, 18 join both Art and Drama, 16 join both Music and Drama, and 8 join all three. Assume each pairwise total includes those in all three. Find the number in at least one activity and the number in none.
Start with the centre: all three = 8.
Art-and-Music only = 20 − 8 = 12.
Art-and-Drama only = 18 − 8 = 10.
Music-and-Drama only = 16 − 8 = 8.
Art only = 48 − 12 − 10 − 8 = 18.
Music only = 52 − 12 − 8 − 8 = 24.
Drama only = 40 − 10 − 8 − 8 = 14.
At least one = 18 + 24 + 14 + 12 + 10 + 8 + 8 = 94.
None = 100 − 94 = 6.
The result can be checked with three-set inclusion-exclusion:
48 + 52 + 40 − 20 − 18 − 16 + 8 = 94.
The triple overlap is added back because the first addition counted it three times and subtracting the three pairwise intersections then removed it three times. Without the final +8, it would disappear completely.
Worked Example 5 | An unknown overlap
Sixty students take part in at least one of two clubs. Thirty-five join Robotics, 38 join Debate and x join both. Find x.
Use the union relationship:
60 = 35 + 38 − x
x = 13.
Check that the overlap is plausible. It cannot exceed the smaller set total, and 13 ≤ 35. The only-Robotics count is 22 and the only-Debate count is 25, giving 22 + 13 + 25 = 60.
Worked Example 6 | Translate “not both” carefully
In a universe of 80 people, 50 are in A, 46 are in B and 30 are in both. How many are not in both A and B?
The phrase means the complement of the intersection, so 80 − 30 = 50. It does not mean “in neither set”.
If the question instead asked how many are in neither A nor B, first find the union: 50 + 46 − 30 = 66, then subtract from 80 to obtain 14. These two answers differ because the shaded regions differ.
Probability can reuse a completed Venn diagram
If one person is selected at random from the 80-person group above, the probability of selecting someone in A ∩ B is 30/80 = 3/8. The probability of selecting someone in neither set is 14/80 = 7/40. The diagram has moved from counting to probability simply by dividing relevant counts by the total number of equally likely individuals.
This is a useful bridge to the separate Statistics, Probability and Real-World Problems guide and the probability guide in this same batch.
Common failure modes
| Visible error | Likely cause | Repair |
|---|---|---|
| Adds set totals without subtracting overlap | Double-counting not recognised | Mark the overlap and count how many times it appears |
| Writes set total directly into only-region | Total confused with exclusive count | Subtract all relevant overlaps first |
| Places triple-overlap last | Central membership not treated as shared | Fill deepest intersection first |
| Confuses union with exactly one | Inclusive “or” misunderstood | Shade both regions and inspect overlap |
| Confuses complement of intersection with neither | “Not both” translated incorrectly | Write the symbolic region before counting |
| Diagram totals exceed universe | Overlap counted in more than one exclusive region | Rebuild using disjoint regions |
A four-check verification routine
- Set check: do the exclusive regions inside each circle add to the stated set total?
- Intersection check: do the overlap regions add to the stated pairwise or triple totals?
- Universe check: do all disjoint regions, including outside the circles, add to the universal total?
- Meaning check: does the counted region match words such as only, neither, at least one or not both?
Independent practice
- In a class of 36 students, 22 play badminton, 17 play basketball and 8 play both. Find the number who play at least one, exactly one and neither.
- In a universe of 70 elements, n(A)=42, n(B)=35 and n(A∩B)=18. Find n(A∪B), n(A′) and the number in neither A nor B.
- Forty people are in at least one of two sets. Twenty-seven are in P and 25 are in Q. Find the overlap.
- If A={1,2,3,4} and B={2,4}, state whether B⊆A and whether 2⊆A.
- In a group of 90, n(A)=44, n(B)=39, n(C)=36, n(A∩B)=16, n(A∩C)=14, n(B∩C)=12 and n(A∩B∩C)=5. Find the number in at least one and the number in none.
- In a universe of 50, 12 elements are in A∩B. How many are not in both A and B?
Explained answers
1. Union = 22 + 17 − 8 = 31. Badminton only = 14 and basketball only = 9, so exactly one = 23. Neither = 36 − 31 = 5.
2. n(A∪B)=42+35−18=59. n(A′)=70−42=28. Neither = 70−59=11.
3. 40 = 27 + 25 − overlap, so overlap = 12. Check: 15 only P, 13 only Q and 12 both total 40.
4. B⊆A is true because every element of B is in A. The statement 2⊆A is not the correct relationship for the number 2; write 2∈A.
5. Use inclusion-exclusion: 44+39+36−16−14−12+5=82. None = 90−82=8.
6. “Not in both” means outside the intersection, so 50−12=38. There is not enough information to find the number in neither set.
Teaching sequence: from language to counting
Begin without numbers. Give statements such as “in both A and B”, “in A but not B”, “outside A∪B” and “not in A∩B”, and ask the learner to shade the corresponding regions. If the region is wrong, adding arithmetic only hides the language problem.
Next add two-set counting, then three-set reconstruction. Ask the learner to explain why the overlap is filled first. Finally mix probability questions into the completed diagrams. The same representation should survive the changed surface.
When errors recur, connect to Error Analysis, Corrections and Full-Paper Recovery. A repeated Venn-diagram error is often a language or representation weakness, not a failure of addition.
Final thought
Set language works because it separates a complicated population into regions that do not overlap. Once every individual has one correct place in the diagram, counting becomes trustworthy. The hardest part is often not arithmetic but deciding exactly which conditions are true together.
Count only after the membership logic is stable.
Return to the Secondary Mathematics Hub.
