Small Group Tutorials

Here to help students catch up, keep up, and move ahead. Book a consultation here.

Secondary Mathematics: Sets, Venn Diagrams and Logical Counting

Secondary Mathematics · Worked Repair Guide 11

Sets are one of the quiet languages underneath Mathematics. A set tells us which objects belong together under a rule. Venn diagrams make overlaps visible. Counting arguments turn those overlaps into equations. The topic becomes difficult when learners treat the circles as pictures rather than as logical regions.

This guide develops one central habit: translate every region into a membership statement before counting it. “Inside A but outside B” is different from “inside A or B”, and the difference is mathematical, not visual decoration.

All examples are original teaching material. Formal notation and extensions should be matched to the learner’s actual Secondary Mathematics route and school programme.

1. A set is a collection defined by membership

Let A={2,4,6,8}. Then 4 belongs to A, written 4∈A. The number 5 does not belong to A, written 5∉A.

The order of elements does not matter. The sets {1,2,3} and {3,2,1} are the same set. Repeating an element does not create a new element: {1,1,2,2,3} represents the same set as {1,2,3}.

Entry check: if B={red, blue, green}, then blue∈B and yellow∉B.

A set is therefore about membership, not sequence or frequency. Lists and data sets can behave differently because data may preserve repetition.

2. The universal set defines the current world

The universal set, often written U, contains all objects currently under discussion. A complement is defined relative to that universe.

Suppose U={1,2,3,4,5,6,7,8,9,10} and A={2,4,6,8,10}. Then the complement of A within U is {1,3,5,7,9}.

If the universal set changes, the complement can change. This is why “not in A” must be interpreted inside a stated domain.

The rectangle around a Venn diagram commonly represents the universal set. The area outside a circle is not “everything in existence”; it is everything in U that is not in that set.

3. Subsets compare membership rules

If every element of set A also belongs to set B, then A is a subset of B.

For example, A={2,4} and B={1,2,3,4,5} give A⊆B.

Subset notation compares whole sets. Membership notation compares an object with a set. The statement 2∈B is different from {2}⊆B, though both may be true.

A set is a subset of itself under the inclusive subset definition. The empty set is a subset of every set.

4. Intersection means membership in both sets

The intersection A∩B contains elements belonging to both A and B.

If A={1,2,3,4} and B={3,4,5,6}, then A∩B={3,4}.

On a two-circle Venn diagram, the intersection is the overlapping lens-shaped region.

The word “and” often signals intersection: learners who study Mathematics and Science belong to both corresponding sets.

5. Union means membership in at least one set

The union A∪B contains elements belonging to A or B or both.

Using A={1,2,3,4} and B={3,4,5,6}, the union is {1,2,3,4,5,6}.

Do not list 3 and 4 twice. Set membership is not frequency.

The mathematical “or” in union is normally inclusive: being in both sets still qualifies as being in A or B.

6. Complements reverse membership within the universe

If U has 20 elements and A has 7, then A’s complement has 13 elements provided A is a subset of U.

In a Venn diagram, the complement of A is every region of the universal rectangle outside circle A, including parts that may lie inside other circles.

Worked example: if U={1,…,12} and A is the multiples of 3, then A={3,6,9,12} and A’={1,2,4,5,7,8,10,11}.

Complement language is useful in probability because “not A” often turns a difficult count into an easier one.

7. Count the overlap only once

If n(A)=18, n(B)=15 and n(A∩B)=6, then adding 18+15 counts the six common elements twice.

Therefore n(A∪B)=18+15−6=27.

This is the two-set inclusion-exclusion rule:

n(A∪B)=n(A)+n(B)−n(A∩B).

The subtraction repairs the double-counting created by adding the two set totals.

8. Fill a Venn diagram from the deepest overlap outward

Suppose 30 learners are surveyed. Eighteen choose activity A, 14 choose activity B, and 7 choose both.

Place 7 in the overlap first. Then A-only is 18−7=11. B-only is 14−7=7. The union contains 11+7+7=25. Therefore 30−25=5 choose neither.

Starting with the overlap prevents it from being counted again inside each set total.

A useful rule is specific region first, larger total second.

9. “Only” removes the overlap

If n(A)=20 and n(A∩B)=8, then “A only” means in A but not B, so its count is 12.

The phrase “in A” includes the overlap unless the wording excludes it. The phrase “only A” explicitly excludes the overlap.

Likewise, “exactly one of A and B” means A-only plus B-only.

Read these words before performing arithmetic. Many Venn-diagram errors are language errors first.

10. “Neither” belongs outside all named sets

If a universe contains 50 elements and n(A∪B)=38, then 12 belong to neither A nor B.

This is the complement of the union: n((A∪B)’)=50−38.

Do not confuse “neither” with the intersection. The intersection means both; neither means outside both.

A quick verbal check helps: “neither A nor B” means not A and not B.

11. Three-set diagrams require disciplined region order

With sets A, B and C, there can be a central region belonging to all three, three pairwise-only overlaps, three single-set-only regions and a neither region.

Always fill the triple intersection first if it is known. Then compute pairwise-only regions by subtracting the triple part from pairwise totals.

After that, compute the single-only regions by subtracting every already-filled overlap from each set total.

This deepest-to-shallowest order reduces double subtraction and repeated counting.

12. Worked three-set example

In an invented survey of 60 learners, n(A)=30, n(B)=28, n(C)=24, n(A∩B)=12, n(A∩C)=10, n(B∩C)=9, and n(A∩B∩C)=5.

Pairwise-only regions are: AB only=12−5=7; AC only=10−5=5; BC only=9−5=4.

A only=30−7−5−5=13. B only=28−7−4−5=12. C only=24−5−4−5=10.

Total in the union=13+12+10+7+5+4+5=56. Therefore neither=60−56=4.

Notice how the triple intersection appears inside every pairwise intersection and every relevant set total. That is why the filling order matters.

13. Set notation can express logical conditions compactly

A∩B’ means elements in A but not in B. A’∩B means elements in B but not A. (A∪B)’ means elements in neither set.

These symbolic forms turn verbal conditions into operations on membership.

Worked translation: “students who take Science but not Art” becomes S∩A’. “Students who take at least one of Science or Art” becomes S∪A.

Before shading, read the expression in words. Before writing the expression, describe the target region in words.

14. De Morgan’s laws describe complements of combined sets

Where included in the learner’s route, two important identities are:

(A∪B)’=A’∩B’
(A∩B)’=A’∪B’

Not being in A or B means being outside A and outside B. Not being in both means failing at least one of the two membership conditions.

These laws are easier to remember when read logically rather than as symbol patterns.

They also connect set reasoning to logic and probability complements.

15. Sets connect directly to probability

In a finite equally likely sample space, an event is a set of outcomes. Union means either event occurs; intersection means both conditions occur; complement means the event does not occur.

For a fair die, let A={2,4,6} and B={4,5,6}. Then A∩B={4,6} and A∪B={2,4,5,6}.

Therefore P(A∪B)=4/6. The set count reproduces the probability addition rule without double-counting the overlap.

Use the Probability, Sample Spaces and Independence guide for the probability side of this connection.

16. Capstone counting problem

An invented group contains 80 people. Forty-six belong to set M, 38 belong to set N and 20 belong to both.

M only=46−20=26. N only=38−20=18. Union=26+20+18=64. Neither=80−64=16.

Exactly one set=26+18=44.

Check using inclusion-exclusion: 46+38−20=64, agreeing with the region total.

This double-check uses two representations of the same membership structure.

17. Independent practice

  1. Let A={1,3,5,7}. State whether 5∈A.
  2. State whether 6∈A.
  3. If A={1,2} and B={1,2,3,4}, state whether A⊆B.
  4. Find A∩B for A={1,2,3,4} and B={3,4,5}.
  5. Find A∪B for the same sets.
  6. Let U={1,2,3,4,5,6} and A={2,4,6}. Find A’.
  7. If n(A)=22, n(B)=17 and n(A∩B)=8, find n(A∪B).
  8. Using Question 7, find the number in A only.
  9. A universe has 50 elements and the union contains 39. Find neither.
  10. In a group of 40, 24 choose A, 19 choose B and 10 choose both. Find A only.
  11. For Question 10, find B only.
  12. For Question 10, find neither.
  13. Translate “in A but not B” into set notation.
  14. Translate “in neither A nor B” into set notation.
  15. Explain why adding n(A)+n(B) double-counts the intersection.
  16. If n(A∪B)=31, n(A)=20 and n(B)=18, find n(A∩B).
  17. In a three-set diagram the triple intersection is 4 and n(A∩B)=11. Find AB only.
  18. For a fair die, let E={2,4,6} and G={4,5,6}. Find E∩G.
  19. Find E∪G.
  20. Find the probability of E∪G.

18. Worked answers

1. Yes.

2. No.

3. Yes. Every element of A belongs to B.

4. {3,4}.

5. {1,2,3,4,5}.

6. {1,3,5}.

7. 31. Compute 22+17−8.

8. 14. Subtract the overlap from A.

9. 11.

10. 14.

11. 9.

12. 7. Union is 14+10+9=33, so 40−33=7.

13. A∩B’.

14. (A∪B)’.

15. Elements in both A and B appear once in each total, so they are counted twice.

16. 7. 20+18−intersection=31.

17. 7. Subtract the triple region.

18. {4,6}.

19. {2,4,5,6}.

20. 2/3. Four favourable outcomes out of six.

19. Diagnose set errors by naming the region

Common failures include counting an overlap twice, confusing union with intersection, treating “only” as the entire circle, forgetting the universal set when taking a complement, or mixing element and subset notation.

A useful correction note is verbal before symbolic: “this region means in A and B”, “this region means in A but not B”, or “neither lies outside both circles but inside U”.

Once the membership statement is correct, the arithmetic is usually simple. This is a representation problem before it is a counting problem.

20. Continue through the BTT Mathematics library

Return to the BTT Mathematics Hub. Use Probability, Sample Spaces and Independence for chance events, Averages, Spread and Data Interpretation for observed data, and Inequalities, Intervals and Regions for another form of set-valued solution.

The BTT Mathematical Lab is the diagnostic route when the same region-classification error recurs.

21. Sources and scope

All survey numbers, Venn-diagram counts and set examples in this guide are original teaching material. They are mathematical constructions rather than reports about real groups.

For the current Singapore Secondary curriculum doorway, see MOE: Curriculum for secondary schools. Match formal notation and three-set extensions to the learner’s actual subject level and school programme.