Sets

Junior Cycle Higher Level Mathematics revision notes with diagrams, key terms and self-check questions.

4 min readHigher LevelBy Studytok
Practise this topic — free →

A set is a well-defined collection of elements. Questions can ask you to describe sets, use notation, carry out operations, investigate properties, and solve Venn diagram problems.

Describing Sets and Set Notation

A set is a well-defined collection of elements, meaning there is no ambiguity about whether an item belongs to it. For example, 'tall students' is not a set, but 'students over 170 cm' is.

  • Listing elements: Members are written inside curly brackets: V={a,e,i,o,u}V = \{a, e, i, o, u\}.
  • Defining by a rule: State a rule identifying the elements: F={positive factors of 12}F = \{\text{positive factors of } 12\}.
  • Set equality: Two sets are equal if they have identical elements, regardless of order: {1,2,3}={3,1,2}\{1, 2, 3\} = \{3, 1, 2\}.
  • The symbol ∈\in means 'is an element of' (2∈F2 \in F), while ∉\notin means 'is not an element of' (5∉F5 \notin F).
  • The cardinal number, #A\#A, is the count of distinct elements in set AA.
  • The null set (empty set), ∅\emptyset or {}\{\}, contains no elements.
  • A subset (A⊆BA \subseteq B) means every element of AA is in BB.

Set Operations and Brackets

The universal set, UU, contains all elements under discussion. Four primary operations combine or modify sets:

OperationMeaningExample with U={1,2,3,4,5,6}U = \{1, 2, 3, 4, 5, 6\}, A={1,2,3}A = \{1, 2, 3\}, B={3,4}B = \{3, 4\}
Union (A∪BA \cup B)Elements in AA, in BB, or in both{1,2,3,4}\{1, 2, 3, 4\}
Intersection (A∩BA \cap B)Elements in both AA and BB{3}\{3\}
Set difference (A∖BA \setminus B)Elements in AA that are not in BB{1,2}\{1, 2\}
Complement (A′A')Elements in UU that are outside AA{4,5,6}\{4, 5, 6\}
Four Venn diagrams shade the union, intersection, A-only region, and complement of A within U.
Four Venn diagrams shade the union, intersection, A-only region, and complement of A within U.

Work out brackets first. With U={1,2,3,4,5,6,7,8}U = \{1, 2, 3, 4, 5, 6, 7, 8\}, A={1,2,3,4}A = \{1, 2, 3, 4\}, B={3,4,5}B = \{3, 4, 5\}, and C={4,5,6}C = \{4, 5, 6\}:

  • (A∩B)∪C={3,4}∪{4,5,6}={3,4,5,6}(A \cap B) \cup C = \{3, 4\} \cup \{4, 5, 6\} = \{3, 4, 5, 6\}
  • A∖(B∪C)={1,2,3,4}∖{3,4,5,6}={1,2}A \setminus (B \cup C) = \{1, 2, 3, 4\} \setminus \{3, 4, 5, 6\} = \{1, 2\}
  • (A∪B)′={6,7,8}(A \cup B)' = \{6, 7, 8\}, so (A∪B)′∩C={6}(A \cup B)' \cap C = \{6\}

Standard Number Sets

Standard letters denote the core number sets:

  • N\mathbb{N}: Natural numbers (positive integers, {1,2,3,… }\{1, 2, 3, \dots\}).
  • Z\mathbb{Z}: Integers (positive and negative whole numbers, and zero, {…,−2,−1,0,1,2,… }\{\dots, -2, -1, 0, 1, 2, \dots\}).
  • Q\mathbb{Q}: Rational numbers (numbers writable as ab\frac{a}{b}, where a,b∈Za, b \in \mathbb{Z} and b≠0b \neq 0).
  • R\mathbb{R}: Real numbers (all numbers on the number line).
  • R∖Q\mathbb{R} \setminus \mathbb{Q}: Irrational numbers (real numbers that cannot be written as fractions, such as 2\sqrt{2} and π\pi).

These sets nest inside one another: N⊆Z⊆Q⊆R\mathbb{N} \subseteq \mathbb{Z} \subseteq \mathbb{Q} \subseteq \mathbb{R}. For example, −4∈Z-4 \in \mathbb{Z} and −4∈Q-4 \in \mathbb{Q}, but −4∉N-4 \notin \mathbb{N}.

Commutative and Associative Properties

An operation is commutative if swapping the order gives the same result. An operation is associative if changing grouping brackets gives the same result.

OperationCommutative?Associative?
Union (∪\cup)Yes: A∪B=B∪AA \cup B = B \cup AYes: (A∪B)∪C=A∪(B∪C)(A \cup B) \cup C = A \cup (B \cup C)
Intersection (∩\cap)Yes: A∩B=B∩AA \cap B = B \cap AYes: (A∩B)∩C=A∩(B∩C)(A \cap B) \cap C = A \cap (B \cap C)
Difference (∖\setminus)No — not true in general: A∖BA \setminus B and B∖AB \setminus A can differNo — not true in general: (A∖B)∖C(A \setminus B) \setminus C and A∖(B∖C)A \setminus (B \setminus C) can differ

Use a single counterexample to disprove a property. For A={1,2,3}A = \{1, 2, 3\}, B={2,3}B = \{2, 3\}, and C={3}C = \{3\}:

  • Order matters: A∖B={1}A \setminus B = \{1\}, but B∖A=∅B \setminus A = \emptyset.
  • Grouping matters: (A∖B)∖C={1}∖{3}={1}(A \setminus B) \setminus C = \{1\} \setminus \{3\} = \{1\}, but A∖(B∖C)=A∖{2}={1,3}A \setminus (B \setminus C) = A \setminus \{2\} = \{1, 3\}.

Solving Venn Diagram Problems

A Venn diagram displays sets as circles inside a rectangle for UU.

  • Start with the central intersection of all three sets (A∩B∩CA \cap B \cap C).
  • Subtract the centre from inclusive intersection totals. Counts labelled 'only' already exclude the centre.
  • Add the counts in every separate region, including the outside region, and set the total equal to #U\#U.
Three overlapping circles inside U show eight separate regions. The whole A–B overlap is shaded, with the triple intersection additionally hatched.
Three overlapping circles inside U show eight separate regions. The whole A–B overlap is shaded, with the triple intersection additionally hatched.

Key terms

Set
A well-defined collection of distinct elements.
Universal Set (U)
The complete set of all elements under consideration in a problem.
Cardinal Number (#A)
The total number of distinct elements contained in set A.
Null Set (∅)
A set that contains no elements, also written as {}.
Subset (⊆)
A relationship where every element of one set is also in another set.
Intersection (∩)
The set of elements shared in common between two or more sets.
Union (∪)
The set of all elements belonging to either set or to both sets.
Set Difference (\)
A \ B is the set of elements in A that are not in B.

Check yourself

  1. If A is the set of positive factors of 12 and B contains the positive multiples of 3 below 15, find A ∩ B.

    A = {1, 2, 3, 4, 6, 12} and B = {3, 6, 9, 12}, so A ∩ B = {3, 6, 12}.

  2. For U = {1, 2, 3, 4, 5, 6, 7, 8} and P = {2, 3, 5, 7}, list the elements of P'.

    P' = {1, 4, 6, 8}.

  3. Which standard number set contains -7 and 0, but does not contain 3/4?

    The set of integers, ℤ.

  4. Is set difference associative? Give a counterexample.

    No. For A = B = C = {1}, (A \ B) \ C = ∅, but A \ (B \ C) = {1}.

  5. If #(A ∩ B) = 11 and #(A ∩ B ∩ C) = 4, how many elements belong to A and B only?

    11 - 4 = 7 elements.

You've read the theory
Now turn it into exam marks.

Practise sets as questions and flashcards in Studytok, with explanations when you get stuck.

Continue for free →
  1. ✓
    Read the notes
    5 sections
  2. 2
    Test yourself
    Questions marked instantly
  3. 3
    Keep revising
    Flashcards and exam-style practice