What is the definition of a set in mathematics, and how is it used in the Cambridge IGCSE curriculum?

In mathematics, a set is a collection of distinct objects, considered as an object in its own right. Sets are used to group numbers or items that share a common property. In the Cambridge IGCSE curriculum, understanding sets is crucial for solving problems related to number classification, operations, and relationships between different groups of numbers.

How do you represent sets using Venn diagrams in IGCSE Mathematics?

Venn diagrams are a visual way to represent sets and their relationships. In IGCSE Mathematics, Venn diagrams are used to illustrate the union, intersection, and difference of sets. Each set is represented by a circle, and the overlap between circles shows the common elements. This helps students visualize and solve problems involving set operations.

What is absolute value, and why is it important in the IGCSE Mathematics curriculum?

The absolute value of a number is its distance from zero on the number line, regardless of direction. It is always a non-negative number. In the IGCSE Mathematics curriculum, absolute value is important because it helps students understand concepts of magnitude and distance, and is used in solving equations and inequalities involving real numbers.

Can you explain the difference between union and intersection of sets with examples?

The union of two sets is a set containing all elements from both sets, without duplicates. For example, if Set A = {1, 2, 3} and Set B = {3, 4, 5}, then A ∪ B = {1, 2, 3, 4, 5}. The intersection of two sets is a set containing only the elements that are common to both sets. Using the same sets, A ∩ B = {3}. Understanding these operations is essential in IGCSE Mathematics for solving problems involving set theory.

How do you solve absolute value equations in Cambridge IGCSE Mathematics?

To solve absolute value equations, you need to consider both the positive and negative scenarios of the expression inside the absolute value. For example, to solve |x - 3| = 5, you set up two equations: x - 3 = 5 and x - 3 = -5. Solving these gives x = 8 and x = -2. This method helps students in the IGCSE curriculum understand how absolute values affect equations and their solutions.

Why is "Forgetting to add the triple-overlap term in three-set inclusion-exclusion" a common mistake in Set Language and Absolute Value?

Why it happens: Students mechanically subtract pairwise overlaps and stop, losing the +n(A B C) correction. How to avoid it: Memorise the full formula and always check whether your question involves three sets. Source: 0580/42 Feb/Mar 2024 — examiner report

Why is "Solving $|x| = k$ with only one solution" a common mistake in Set Language and Absolute Value?

Why it happens: Treating the equation like a normal linear equation and ignoring the negative case. How to avoid it: Always write two equations: the positive case and the negative case. Source: 0580 examiner report — multiple sittings

Why is "Shading $A \cap B'$ when the question asks for $A' \cap B$" a common mistake in Set Language and Absolute Value?

Why it happens: Reading A B' and A' B as visually similar but they describe opposite crescents. How to avoid it: Identify each piece ("complement of A" first), then take the intersection step by step.

Why is "Using $\in$ when $\subseteq$ is needed (or vice versa)" a common mistake in Set Language and Absolute Value?

Why it happens: Both are membership-style statements but they apply to different objects: for an element, for a set. How to avoid it: Use between an item and a set; use between two sets.

Why is "Confusing the empty set $\emptyset$ with the set $\{0\}$" a common mistake in Set Language and Absolute Value?

Why it happens: Both look small — but \0\ has one element (0) while has none. How to avoid it: n() = 0 but n(\0\) = 1. Test by counting.

Cambridge IGCSE Mathematics (0580)

Set Language and Absolute Value

0% Complete

3 tasks remaining

Short Notes - Set Language and Absolute Value

Detailed Study Notes

Detailed notes on Number for Cambridge IGCSE Mathematics, covering key concepts, explanations, examples, and exam-focused revision points.

Set Language and Absolute Value — Cambridge IGCSE 0580 Maths Extended (2026)

Use set notation, Venn diagrams and the absolute-value (modulus) sign with confidence. The notation is fiddly but the ideas are simple — get the symbols right and the marks follow.

At a glance

Set notation: $\in$ (in), $\notin$ (not in), $\subset$ (subset), $\cap$ (intersection), $\cup$ (union).
Universal set $\xi$ holds everything under discussion; $A'$ is the complement (everything in $\xi$ not in $A$ ).
Cardinality: $n(A)$ = how many elements are in $A$ .
Inclusion-exclusion: $n(A \cup B) = n(A) + n(B) - n(A \cap B)$ .
Empty set: $\varnothing$ or $\{\,\}$ . Has zero elements. Different from $\{0\}$ which has ONE element.
Absolute value: $|x|$ is the distance of $x$ from zero. Always $\ge 0$ . So $|-7| = 7$ .
Mark schemes credit precise notation — a misplaced $\cup$ instead of $\cap$ will lose the mark.

What you’ll learn

Mapped to the Cambridge IGCSE 0580 syllabus (2025-2027).

E1.2 — Use language, notation and Venn diagrams to describe sets and represent relationships between sets.
Use the absolute value (modulus) function and interpret $|x|$ as the distance from $x$ to $0$ on the number line.

The set notation you must memorise

Five symbols do most of the work on the exam paper. Mix any of them up and the question is gone.

Cambridge expects fluent use of these symbols.

Symbol	Meaning	Example
$\xi$	Universal set (everything in scope)	$\xi = \{1, 2, 3, 4, 5\}$
$\in$	"is an element of"	$3 \in \{1, 2, 3\}$
$\notin$	"is not an element of"	$4 \notin \{1, 2, 3\}$
$A \cup B$	Union: elements in $A$ OR $B$	$\{1, 2\} \cup \{2, 3\} = \{1, 2, 3\}$
$A \cap B$	Intersection: elements in $A$ AND $B$	$\{1, 2\} \cap \{2, 3\} = \{2\}$
$A \subset B$	$A$ is a subset of $B$	$\{1, 2\} \subset \{1, 2, 3\}$
$A'$	Complement of $A$ (everything in $\xi$ NOT in $A$ )	If $\xi = \{1,2,3,4\}$ and $A = \{1, 2\}$ then $A' = \{3, 4\}$
$n(A)$	Number of elements in $A$ (cardinality)	$n(\{1, 2, 3\}) = 3$
$\varnothing$ or $\{\,\}$	Empty set	$n(\varnothing) = 0$

A useful mnemonic: $\cup$ looks like a U for Union; $\cap$ is the leftover, Intersection.

$\cup$ = Union (combine, OR).
$\cap$ = Intersection (overlap, AND).
$A'$ = everything outside $A$ but inside $\xi$ .
$n(A)$ counts elements; it is itself a number, not a set.

Venn diagrams — reading and shading

Venn diagrams are visual algebra. The right region for each expression is exam currency.

A two-set Venn diagram has four regions, all enclosed by the universal-set rectangle:

Inside $A$ only (left crescent).
Inside $A \cap B$ (the lens-shaped overlap).
Inside $B$ only (right crescent).
Outside both — that's $(A \cup B)'$ .

Two overlapping circles inside ξ split the universal set into four regions.

Common shading prompts.

$A \cup B$ → both circles shaded entirely.
$A \cap B$ → only the overlap.
$A'$ → everything in $\xi$ outside $A$ (so $B$ only + the outside region).
$A \cap B'$ → the part of $A$ that is NOT in $B$ (left crescent only).
$(A \cup B)'$ → only the outside region.

The shaded area is the set each expression describes — the exact skill Paper 2 tests.

Counting with Venn diagrams. For a two-set problem, fill in the overlap FIRST, then the "only" regions, then the outside, using $n(A \cup B) = n(A) + n(B) - n(A \cap B).$

For three sets, work outwards from the centre $A \cap B \cap C$ :

Place $n(A \cap B \cap C)$ in the centre.
For each pair, place $n(\text{pair}) - n(A \cap B \cap C)$ in the lens.
For each single set, place $n(A) -$ (everything in $A$ already placed).
Compute the outside last so totals match $n(\xi)$ .

Worked example. In a class of $30$ , $18$ play tennis ( $T$ ), $14$ play badminton ( $B$ ), and $5$ play both. How many play neither?

$n(T \cup B) = 18 + 14 - 5 = 27$ .
Neither = $30 - 27 = 3$ .

Fill the overlap (5) first, then subtract: tennis-only 18 − 5 = 13, badminton-only 14 − 5 = 9, neither 30 − 27 = 3.

Fill the OVERLAP first when answering counting questions.
Use $n(A \cup B) = n(A) + n(B) - n(A \cap B)$ to avoid double-counting.
$A \cap B'$ means "in $A$ but not in $B$ " — left crescent only.
$(A \cup B)'$ means "outside both circles" — the outside region.

Absolute value (modulus)

$|x|$ is the distance of $x$ from $0$ . It strips the sign — and that is what causes the trouble.

The absolute value (also called modulus) of a number $x$ , written $|x|$ , is its distance from zero on the number line.

A clean piecewise definition: $|x| = \begin{cases} x & \text{if } x \ge 0 \\ -x & \text{if } x < 0 \end{cases}$

So $|7| = 7$ , $|-7| = 7$ , $|0| = 0$ . The output is always non-negative.

|x| measures how far x sits from 0 — direction is ignored, so it is never negative.

Useful facts.

$|x|^{2} = x^{2}$ for all real $x$ .
$|ab| = |a| \cdot |b|$ — modulus distributes over multiplication.
$|a + b| \le |a| + |b|$ — triangle inequality (rarely tested but elegant).

Simple equations and inequalities. Always think "distance from zero".

$|x| = 5$ → $x$ is $5$ units from $0$ → $x = 5$ or $x = -5$ .
$|x| < 3$ → $x$ is within $3$ units of $0$ → $-3 < x < 3$ .
$|x| > 4$ → $x$ is more than $4$ units from $0$ → $x < -4$ or $x > 4$ .

Modulus with an expression inside. Treat the whole inside expression as one quantity. $|2x - 6| = 4 \Rightarrow 2x - 6 = 4 \text{ or } 2x - 6 = -4 \Rightarrow x = 5 \text{ or } x = 1.$

$|x|$ is always $\ge 0$ .
$|x| = a$ ( $a > 0$ ) gives TWO solutions: $x = a$ or $x = -a$ .
$|x| < a$ gives a single bounded interval $-a < x < a$ .
$|x| > a$ gives two semi-infinite pieces: $x < -a$ or $x > a$ .

Quick recap

Memorise $\in, \notin, \subset, \cap, \cup, A', n(A), \xi, \varnothing$ .
$A \cup B$ is the union (everything in either); $A \cap B$ is the intersection (in both).
Inclusion-exclusion: $n(A \cup B) = n(A) + n(B) - n(A \cap B)$ .
Three-set Venn problems: work outwards from $A \cap B \cap C$ .
$|x|$ = distance from $0$ . Always non-negative.
$|x| = a$ → two solutions; $|x| < a$ → one interval; $|x| > a$ → two pieces.

Memorise this

Verbatim phrases and definitions Cambridge mark schemes credit.

Universal set ( $\xi$ ) — the set containing all elements under consideration.
Intersection ( $A \cap B$ ) — the set of elements in both $A$ and $B$ .
Union ( $A \cup B$ ) — the set of elements in $A$ , in $B$ , or in both.
Complement ( $A'$ ) — elements of the universal set that are not in $A$ .
Modulus / absolute value ( $|x|$ ) — the distance of $x$ from zero on the number line.

How it’s examined

Set-language questions on Paper 2 are typically 1-2 marks: identify a region in a Venn diagram, list elements satisfying a set expression, or write a set in list/builder form. Paper 4 hides the same skill inside word problems involving "how many people did X but not Y". Absolute-value questions tend to appear inside an inequality or quadratic context — examiners credit students who explicitly state both branches when solving.

Sources: Cambridge IGCSE Mathematics 0580 syllabus 2025-2027 (E1.2); 0580/22 May/Jun 2024 — Q11 (Venn-diagram counting); 0580/42 Oct/Nov 2024 — Q5 (set notation in word problem); 0580 Examiner Reports 2022-2024. Last reviewed 2026-05-05.

Take this whole topic with you

Step-by-step worked examples — Set Language and Absolute Value

Step-by-step solutions to past-paper-style questions on set language and absolute value, written exactly the way a tutor would explain them at the board.

Question type:

Question patterns to master — Set Language and Absolute Value

Almost every set language and absolute value exam question is one of these shapes. Learn to spot each one and you will always know how to start.

Identify & classify

Recognise it by

The question hands you a universal set or a condition and asks you to list the elements, write down the members of $A \cap B$ , $A \cup B$ , $A'$ , or state which set ( $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}$ ) a number belongs to.

How to approach it

List every set in full first, then apply the operation element by element — intersection keeps only shared members, union keeps all, complement keeps everything in $\xi$ that is absent. Present the result inside braces $\{\ \}$ .

Common trap

Examiner reports flag answers given as a bare list without braces, and placing $0$ in $\mathbb{N}$ — for 0580, $\mathbb{N} = \{1,2,3,\dots\}$ so $0$ belongs to $\mathbb{Z}$ .

Direct calculation

Recognise it by

A single instruction — find $n(A \cup B)'$ , solve $|2x-5|=9$ — applied with one formula or one method on given values.

How to approach it

Quote the relevant rule explicitly (inclusion–exclusion $n(A \cup B)=n(A)+n(B)-n(A\cap B)$ , or the two-case split for modulus), substitute, then evaluate.

Common trap

For modulus equations, examiner reports stress that candidates routinely give only the positive solution — always write both the $+k$ and $-k$ cases.

Multi-step problem

Recognise it by

Several set sizes are given — three single sets, three pairwise overlaps and a triple overlap — and you must chain them through a formula to reach a complement or a missing region.

How to approach it

Use the three-set inclusion–exclusion formula in full, substitute every value in one line, then subtract from $n(\xi)$ for a complement.

Common trap

Examiner reports note the triple-overlap correction $+n(A\cap B\cap C)$ is the step most often dropped — without it the union is undercounted.

Word problem

Recognise it by

A real-world context — ships, positions on a line — with no formula stated, where absolute value models a distance.

How to approach it

Translate the context into modulus notation: distance between two points is $|x_{2}-x_{1}|$ , and 'equidistant' becomes $|x-x_{P}|=|x-x_{Q}|$ , solved as a midpoint.

Common trap

Examiner reports flag sign errors when one position is negative — $|5.7-(-3.4)|$ becomes $|5.7+3.4|$ , not $|5.7-3.4|$ .

Show that / prove

Recognise it by

The words show that or prove with the identity already given — for example $(A \cup B)' = A' \cap B'$ (De Morgan's law).

How to approach it

Sketch a labelled Venn diagram, shade each side of the identity separately, and argue both shadings cover the same region.

Common trap

Examiner reports stress a diagram alone scores no conclusion mark — finish with an explicit sentence stating both sides describe the same region, hence equal.

Graph or diagram

Recognise it by

An instruction to shade, draw or complete a Venn diagram for a region such as $A' \cap B$ .

How to approach it

Identify each piece of the expression in turn (complement first, then the operation), shading lightly, and only fill the region that satisfies the whole expression.

Common trap

Examiner reports flag candidates shading $A \cap B'$ when $A' \cap B$ is required — these are opposite crescents, so build the region step by step.

1Shade a region of a two-set Venn diagram
CoreGraph or diagram• Adapted from 0580/22 May/Jun 2023 Q11• Venn diagram, set notation
Question
Sets $A$ and $B$ are subsets of universal set $\xi$ . On a Venn diagram, shade the region representing $A' \cap B$ .
Step-by-step solution
1. Step 1
  Identify $A'$ — everything in $\xi$ that is not in $A$ . That is the region outside circle $A$ .
2. Step 2
  Identify $B$ — the region inside circle $B$ (including its overlap with $A$ ).
3. Step 3
  Take the intersection: only the part of $B$ that lies outside $A$ — the crescent of $B$ that does not overlap with $A$ .
Answer
The crescent inside $B$ but outside $A$ .
Examiner tip
Examiners deduct marks if the wrong region is shaded or if no region is left unshaded inside another required area. Be precise with the boundary lines.
2Use $n(A)$ notation to find a missing count
ExtendedDirect calculation• Adapted from 0580/42 Oct/Nov 2023 Q3• cardinality, Venn diagram, two-set
Question
$n(\xi) = 50$ , $n(A) = 22$ , $n(B) = 18$ and $n(A \cap B) = 7$ . Find $n(A \cup B)'$ .
Step-by-step solution
1. Step 1
  Use the inclusion–exclusion formula for two sets.
  $n(A \cup B) = n(A) + n(B) - n(A \cap B)$
2. Step 2
  Substitute the values.
  $n(A \cup B) = 22 + 18 - 7 = 33$
3. Step 3
  $n(A \cup B)'$ is everything in $\xi$ that is not in $A \cup B$ .
  $n(A \cup B)' = n(\xi) - n(A \cup B) = 50 - 33 = 17$
Answer
$n(A \cup B)' = 17$
Examiner tip
Use the inclusion–exclusion formula explicitly — examiners reward seeing it written out, especially in 4-mark questions.
3Solve a basic absolute value equation
ExtendedDirect calculation• absolute value, modulus
Question
Solve $|2x - 5| = 9$ .
Step-by-step solution
1. Step 1
  Absolute value gives two cases: the inside expression equals $9$ or $-9$ .
2. Step 2
  Case 1: $2x - 5 = 9 \Rightarrow 2x = 14 \Rightarrow x = 7$ .
3. Step 3
  Case 2: $2x - 5 = -9 \Rightarrow 2x = -4 \Rightarrow x = -2$ .
Answer
$x = 7$ or $x = -2$
Examiner tip
Always state both solutions. Forgetting the negative case is the single most common error in modulus questions across recent papers.
4Read a three-set Venn diagram
ExtendedMulti-step problem• Adapted from 0580/42 Feb/Mar 2024 Q5• three-set, Venn diagram
Question
In a survey of $40$ students: $20$ play Football $(F)$ , $18$ play Basketball $(B)$ , $14$ play Tennis $(T)$ , $8$ play $F \cap B$ , $6$ play $F \cap T$ , $5$ play $B \cap T$ , and $3$ play all three. Find $n(F \cup B \cup T)'$ .
Step-by-step solution
1. Step 1
  Use the three-set inclusion–exclusion formula.
  $n(F \cup B \cup T) = n(F) + n(B) + n(T) - n(F\cap B) - n(F\cap T) - n(B\cap T) + n(F\cap B\cap T)$
2. Step 2
  Substitute.
  $= 20 + 18 + 14 - 8 - 6 - 5 + 3 = 36$
3. Step 3
  Subtract from the universal set.
  $n(F \cup B \cup T)' = 40 - 36 = 4$
Answer
$4$ students play none of the sports.
Examiner tip
The triple-overlap correction (+3) is the step most candidates miss. Always add it back.
5Convert set-builder notation to a list
CoreIdentify & classify• set-builder notation
Question
List the elements of $\{ x : x\ \text{is a prime number},\ 2 \leq x \leq 20 \}$ .
Step-by-step solution
1. Step 1
  Read the condition: $x$ is prime, and $x$ lies in the inclusive range $[2, 20]$ .
2. Step 2
  List primes within range: $2, 3, 5, 7, 11, 13, 17, 19$ .
Answer
$\{ 2, 3, 5, 7, 11, 13, 17, 19 \}$
6Identify the smallest set ( $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}$ ) a number belongs to
ExtendedIdentify & classify• Adapted from 0580/22 Oct/Nov 2023 Q4• number sets, rational, irrational, integers
Question
For each of the numbers $-5,\ \dfrac{4}{7},\ \sqrt{36},\ \sqrt{7},\ 0,\ 2.\overline{6}$ state the smallest of the sets $\mathbb{N}$ (natural), $\mathbb{Z}$ (integers), $\mathbb{Q}$ (rationals) or $\mathbb{R}$ (reals) to which it belongs.
Step-by-step solution
1. Step 1
  Simplify first: $\sqrt{36} = 6$ (integer); $2.\overline{6} = \dfrac{8}{3}$ (a recurring decimal, so rational).
2. Step 2
  Apply the hierarchy $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ . Pick the smallest containing set for each value.
3. Step 3
  $-5$ : not natural, but an integer $\Rightarrow \mathbb{Z}$ . $\dfrac{4}{7}$ : not an integer, but rational $\Rightarrow \mathbb{Q}$ .
4. Step 4
  $\sqrt{36} = 6$ : natural number $\Rightarrow \mathbb{N}$ . $\sqrt{7}$ : irrational (7 is not a perfect square) $\Rightarrow \mathbb{R}$ only.
5. Step 5
  $0$ : integer, but Cambridge 0580 excludes $0$ from $\mathbb{N}$ $\Rightarrow \mathbb{Z}$ . $2.\overline{6} = \dfrac{8}{3}$ : rational $\Rightarrow \mathbb{Q}$ .
Answer
$-5 \in \mathbb{Z}$ ; $\dfrac{4}{7} \in \mathbb{Q}$ ; $\sqrt{36} \in \mathbb{N}$ ; $\sqrt{7} \in \mathbb{R}$ ; $0 \in \mathbb{Z}$ ; $2.\overline{6} \in \mathbb{Q}$ .
Examiner tip
The examiner report flags that candidates often place $0$ in $\mathbb{N}$ . For 0580 the convention is $\mathbb{N} = \{1, 2, 3, \dots\}$ — $0$ is an integer but not natural.
7Find $A \cap B$ and $A \cup B$ from listed sets
ExtendedIdentify & classify• Adapted from 0580/22 May/Jun 2024 Q7• intersection, union, set notation
Question
Given $\xi = \{1, 2, 3, \dots, 12\}$ , $A = \{ x : x\ \text{is even}\}$ and $B = \{ x : x\ \text{is a multiple of } 3\}$ , list the elements of (a) $A \cap B$ , (b) $A \cup B$ , (c) $A' \cap B$ .
Step-by-step solution
1. Step 1
  List the sets. $A = \{2, 4, 6, 8, 10, 12\}$ , $B = \{3, 6, 9, 12\}$ .
2. Step 2
  (a) Intersection — elements in both: $A \cap B = \{6, 12\}$ (the multiples of $6$ up to $12$ ).
3. Step 3
  (b) Union — elements in either (no duplicates): $A \cup B = \{2, 3, 4, 6, 8, 9, 10, 12\}$ .
4. Step 4
  (c) Complement of $A$ : $A' = \{1, 3, 5, 7, 9, 11\}$ (the odd numbers). Intersect with $B$ : $A' \cap B = \{3, 9\}$ .
Answer
(a) $\{6, 12\}$ (b) $\{2, 3, 4, 6, 8, 9, 10, 12\}$ (c) $\{3, 9\}$
Examiner tip
Mark schemes require the answer as a set with braces $\{\ \}$ . Candidates who write a bare list lose the notation mark on Paper 2.
8Solve an absolute-value inequality
ExtendedDirect calculation• Adapted from 0580/42 Oct/Nov 2024 Q9• modulus, absolute value, inequality
Question
Solve the inequality $|x - 4| < 3$ and express the solution set on a number line.
Step-by-step solution
1. Step 1
  $|x - 4| < 3$ means the distance from $x$ to $4$ is less than $3$ . Rewrite as a double inequality.
  $-3 < x - 4 < 3$
2. Step 2
  Add $4$ to every part of the inequality.
  $1 < x < 7$
3. Step 3
  On the number line, draw open circles (strict inequality) at $1$ and $7$ and shade the region between.
Answer
$1 < x < 7$
Examiner tip
The examiner report flags that candidates often forget the open-circle convention for strict inequalities ( $<$ , $>$ ). Closed circles signal $\leq$ or $\geq$ — use the correct symbol or lose the diagram mark.
9Apply absolute value to distance between two points
ChallengeWord problem• Adapted from 0580/42 May/Jun 2024 Q11• absolute value, distance, applied
Question
Two ships $P$ and $Q$ travel along the same north–south line. $P$ is at position $-3.4$ km (south of harbour) and $Q$ is at position $5.7$ km (north of harbour). Find (a) the distance between them, (b) the value of the position $x$ if a third ship $R$ is equidistant from $P$ and $Q$ .
Step-by-step solution
1. Step 1
  (a) The distance between two points on a number line is $|x_{Q} - x_{P}|$ .
  $|5.7 - (-3.4)| = |5.7 + 3.4| = 9.1$
2. Step 2
  (b) Equidistant means $|x - (-3.4)| = |x - 5.7|$ . Geometrically, $R$ is the midpoint of $P$ and $Q$ .
3. Step 3
  Midpoint: $x = \dfrac{-3.4 + 5.7}{2} = \dfrac{2.3}{2} = 1.15$ km.
  $x = \dfrac{-3.4 + 5.7}{2} = 1.15$
Answer
(a) $9.1$ km (b) $x = 1.15$ km (north of harbour).
Examiner tip
The 2024 mark scheme awards a method mark for setting up $|x - x_{P}| = |x - x_{Q}|$ even if the algebra later slips. Always state the modulus interpretation in words.
10Show that $(A \cup B)' = A' \cap B'$ using a Venn diagram
ChallengeShow that / prove• Adapted from 0580/42 Feb/Mar 2023 Q14• De Morgan, show that, Venn diagram, proof
Question
Using a Venn diagram, show that for any two sets $A$ and $B$ within a universal set $\xi$ , the identity $(A \cup B)' = A' \cap B'$ holds (De Morgan's first law).
Step-by-step solution
1. Step 1
  Sketch a two-set Venn diagram with circles $A$ and $B$ inside the rectangle $\xi$ . Label the four regions: only $A$ , only $B$ , $A \cap B$ , and neither (outside both).
2. Step 2
  Identify $A \cup B$ : the union of the three regions inside either circle. Its complement $(A \cup B)'$ is the outside region — everything in $\xi$ that is in neither $A$ nor $B$ .
3. Step 3
  Identify $A'$ (everything outside $A$ ) and $B'$ (everything outside $B$ ). Shade them with different patterns.
4. Step 4
  $A' \cap B'$ is the overlap of the two shaded regions — i.e. outside $A$ and outside $B$ — which is exactly the region outside both circles.
5. Step 5
  Since $(A \cup B)'$ and $A' \cap B'$ shade the same region of the Venn diagram, they are equal as sets.
  $(A \cup B)' = A' \cap B'$
Answer
Both sides represent the region in $\xi$ outside both $A$ and $B$ . Hence $(A \cup B)' = A' \cap B'$ .
Examiner tip
On 'show that' set questions the examiner report demands a clear conclusion sentence linking both sides — e.g. 'both expressions describe the same shaded region, hence equal'. A diagram alone scores no conclusion mark.

Key Formulae — Set Language and Absolute Value

The formulae you need to memorise for set language and absolute value on the Cambridge IGCSE 0580 paper, with every variable defined in plain English and a note on when to use it.

Inclusion–Exclusion (two sets)
$n(A \cup B) = n(A) + n(B) - n(A \cap B)$
$n(A)$
number of elements in $A$
$n(A \cap B)$
number of elements in both $A$ and $B$
$n(A \cup B)$
number of elements in $A$ or $B$ (or both)
When to use
Any two-set Venn diagram counting question — particularly when the union or one of the parts is unknown.
Inclusion–Exclusion (three sets)
$n(A\cup B\cup C) = n(A)+n(B)+n(C)-n(A\cap B)-n(A\cap C)-n(B\cap C)+n(A\cap B\cap C)$
$n(A), n(B), n(C)$
set sizes
$n(A \cap B \cap C)$
size of the triple overlap
When to use
Three-set survey questions where you need totals or complements.
Complement of a set
$n(A') = n(\xi) - n(A)$
$\xi$
the universal set
$A'$
the complement of $A$ within $\xi$
When to use
Whenever you need elements outside a given set.
Definition of absolute value
$|x| = \begin{cases} x & \text{if } x \geq 0 \\ -x & \text{if } x < 0 \end{cases}$
$x$
any real number
When to use
Use this piecewise definition when solving modulus equations or inequalities.

Key Definitions and Keywords — Set Language and Absolute Value

Definitions to memorise and the exact keywords mark schemes credit for set language and absolute value answers — sharpened from recent examiner reports for the 2026 0580 sitting.

Universal set ( $\xi$ )
Examiner keyword
The set of all elements being considered in a problem.
Element ( $\in$ )
Examiner keyword
An object that belongs to a set. Read $x \in A$ as " $x$ is an element of $A$ ".
Example
$3 \in \{1, 2, 3\}$ .
Subset ( $\subseteq$ )
Examiner keyword
$A \subseteq B$ means every element of $A$ is also in $B$ .
Example
$\{1, 2\} \subseteq \{1, 2, 3\}$ .
Intersection ( $\cap$ )
Examiner keyword
The set of elements that are in both sets.
Example
$\{1, 2, 3\} \cap \{2, 4\} = \{2\}$ .
Union ( $\cup$ )
Examiner keyword
The set of elements that are in either set (or both).
Example
$\{1, 2\} \cup \{2, 3\} = \{1, 2, 3\}$ .
Complement ( $A'$ )
Examiner keyword
The set of all elements in the universal set $\xi$ that are not in $A$ .
Empty set ( $\emptyset$ )
The set with no elements. Sometimes written $\{\ \}$ .
Cardinality ( $n(A)$ )
Examiner keyword
The number of elements in set $A$ .
Absolute value (modulus)
Examiner keyword
The non-negative distance of a number from $0$ on the number line. Written $|x|$ .
Example
$|-7| = 7$ , $|3.2| = 3.2$ .
Set-builder notation
Notation of the form $\{x : \text{condition}\}$ — "the set of all $x$ such that the condition holds".
Example
$\{ x : x\ \text{is even},\ 0 < x < 10 \} = \{2, 4, 6, 8\}$ .

Common Mistakes and Misconceptions — Set Language and Absolute Value

The traps other students keep falling into on set language and absolute value questions — taken from recent Cambridge IGCSE 0580 examiner reports and mark schemes — and how to avoid them.

✕Forgetting to add the triple-overlap term in three-set inclusion-exclusion
0580/42 Feb/Mar 2024 — examiner report
Why it happens
Students mechanically subtract pairwise overlaps and stop, losing the + $n(A\cap B\cap C)$ correction.
How to avoid it
Memorise the full formula and always check whether your question involves three sets.
✕Solving $|x| = k$ with only one solution
0580 examiner report — multiple sittings
Why it happens
Treating the equation like a normal linear equation and ignoring the negative case.
How to avoid it
Always write two equations: the positive case and the negative case.
✕Shading $A \cap B'$ when the question asks for $A' \cap B$
Why it happens
Reading $A \cap B'$ and $A' \cap B$ as visually similar but they describe opposite crescents.
How to avoid it
Identify each piece ("complement of $A$ " first), then take the intersection step by step.
✕Using $\in$ when $\subseteq$ is needed (or vice versa)
Why it happens
Both are membership-style statements but they apply to different objects: $\in$ for an element, $\subseteq$ for a set.
How to avoid it
Use $\in$ between an item and a set; use $\subseteq$ between two sets.
✕Confusing the empty set $\emptyset$ with the set $\{0\}$
Why it happens
Both look small — but $\{0\}$ has one element ( $0$ ) while $\emptyset$ has none.
How to avoid it
$n(\emptyset) = 0$ but $n(\{0\}) = 1$ . Test by counting.

Set Language and Absolute Value — frequently asked questions

The things students keep getting wrong in this sub-topic, answered.

Set Language and Absolute Value

Short Notes - Set Language and Absolute Value

Detailed Study Notes

At a glance

What you’ll learn

The set notation you must memorise

Venn diagrams — reading and shading

Absolute value (modulus)

Quick recap

Memorise this

How it’s examined

Take this whole topic with you

Question patterns to master — Set Language and Absolute Value

1Shade a region of a two-set Venn diagram

2Use n(A)n(A)n(A) notation to find a missing count

3Solve a basic absolute value equation

4Read a three-set Venn diagram

5Convert set-builder notation to a list

6Identify the smallest set (N,Z,Q,R\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}N,Z,Q,R) a number belongs to

7Find A∩BA \cap BA∩B and A∪BA \cup BA∪B from listed sets

8Solve an absolute-value inequality

9Apply absolute value to distance between two points

10Show that (A∪B)′=A′∩B′(A \cup B)' = A' \cap B'(A∪B)′=A′∩B′ using a Venn diagram

Inclusion–Exclusion (two sets)

Inclusion–Exclusion (three sets)

Complement of a set

Definition of absolute value

Universal set (ξ\xiξ)

Element (∈\in∈)

Subset (⊆\subseteq⊆)

Intersection (∩\cap∩)

Union (∪\cup∪)

Complement (A′A'A′)

Empty set (∅\emptyset∅)

Cardinality (n(A)n(A)n(A))

Absolute value (modulus)

Set-builder notation

✕Forgetting to add the triple-overlap term in three-set inclusion-exclusion

✕Solving ∣x∣=k|x| = k∣x∣=k with only one solution

✕Shading A∩B′A \cap B'A∩B′ when the question asks for A′∩BA' \cap BA′∩B

✕Using ∈\in∈ when ⊆\subseteq⊆ is needed (or vice versa)

✕Confusing the empty set ∅\emptyset∅ with the set {0}\{0\}{0}

Set Language and Absolute Value — frequently asked questions

2Use $n(A)$ notation to find a missing count

6Identify the smallest set ( $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}$ ) a number belongs to

7Find $A \cap B$ and $A \cup B$ from listed sets

10Show that $(A \cup B)' = A' \cap B'$ using a Venn diagram

Universal set ( $\xi$ )

Element ( $\in$ )

Subset ( $\subseteq$ )

Intersection ( $\cap$ )

Union ( $\cup$ )

Complement ( $A'$ )

Empty set ( $\emptyset$ )

Cardinality ( $n(A)$ )

✕Solving $|x| = k$ with only one solution

✕Shading $A \cap B'$ when the question asks for $A' \cap B$

✕Using $\in$ when $\subseteq$ is needed (or vice versa)

✕Confusing the empty set $\emptyset$ with the set $\{0\}$