Source: AFDA Unit 6 Lesson 1 Notes KEY
Tags: set theory, Venn diagrams, sets, union, intersection, complement, subset, universal set, empty set, null set, finite set, infinite set, set notation, curly braces, AFDA, Algebra Functions Data Analysis
Difficulty: Introductory Prerequisites: Familiarity with basic number types (whole numbers, natural numbers, prime numbers). No prior set theory knowledge required.
Set theory is the branch of mathematics that deals with collections of objects and how those collections relate to one another. It underpins a surprising amount of later work in probability, statistics and logic, so the notation and vocabulary introduced here will keep appearing throughout the course. If you are coming in cold, the good news is that the core ideas are intuitive: you are just sorting things into groups and describing overlaps. The symbolic notation (∩, ∪, ⊆ and so on) is the part that trips people up, so pay close attention to which symbol means what.
A set is a collection of objects. You can combine sets (union), find what they share (intersection), identify what is missing from one (complement), or check whether one fits entirely inside another (subset). Venn diagrams give you a visual way to see all of these relationships at a glance.
Set
A well-defined collection of objects. Sets are named with capital letters and their elements are listed inside curly braces. In simple terms, it is a group of things you have chosen to bundle together.
Element
An individual object within a set. Think of it as one item on the list inside the curly braces.
Finite set
A set with a distinct, countable number of elements. For example, the set of states beginning with the letter O: {Ohio, Oklahoma, Oregon}.
Infinite set
A set that does not have a countable endpoint. The elements go on without limit. For example, the set of prime numbers: {2, 3, 5, 7, 11, 13, 17, 19, ...}.
Empty set (null set)
The set that contains no elements at all. Denoted ∅ or { }. Think of it as an empty bag: the bag exists, but nothing is in it.
Universal set (U)
The set of all possible elements for a given problem or situation. Everything under discussion lives inside U. In simple terms, it is the "everything" set for that particular context.
Complement of a set (A' or Ā)
The set of all elements in the universal set that are not in A. If U is everything and A is your group, A' is everything you left out of that group.
Intersection (A ∩ B)
The set of all elements that are in both A and B. The ∩ symbol looks a bit like an upside-down U. Think of it as the overlap, the elements the two sets share.
Union (A ∪ B)
The set of all elements that are in A or B (or both). The ∪ symbol looks like a cup collecting everything together. Think of it as merging the two sets, keeping one copy of any duplicates.
Subset (B ⊆ A)
A set B is a subset of A if every single element of B is also in A. B fits entirely inside A. The ⊆ symbol is read "is a subset of."
A set is written as a capital letter followed by its elements in curly braces, e.g. A = {1, 2, 3}.
Each item inside the braces is called an element (or member) of the set.
Sets can be finite (you can list every element) or infinite (the list goes on, shown with "...").
A set with zero elements is the empty set, written ∅ or { }.
Example: "the set of multiples of 4 that are odd" is empty, because every multiple of 4 is even. So the answer is ∅.
Denoted U, this is the master set for a given problem.
Every other set in the problem is a subset of U.
U changes depending on the context. In one problem it might be {0, 1, 2, 3, 4, 5, 6, 7, 8}, in another it might be all whole numbers less than 100.
A' (or Ā) contains every element of U that is not in A.
Example: if U = {1, 4, 7, 10, 12, 15, 17, 20} and A = {4, 10, 17}, then A' = {1, 7, 12, 15, 20}.
A ∩ B is the overlap: only elements present in both A and B.
Example: A = {2, 6, 10, 13, 15, 17} and B = {2, 4, 10, 12, 17, 20}, so A ∩ B = {2, 10, 17}.
A ∪ B is the merger: every element that appears in at least one of the two sets, with no duplicates.
Example: same A and B as above, so A ∪ B = {2, 4, 6, 10, 12, 13, 15, 17, 20}.
Venn diagrams use overlapping circles inside a rectangle (the rectangle represents U).
The overlap region of two circles represents the intersection.
Everything inside both circles combined represents the union.
The area inside the rectangle but outside a circle represents that set's complement.
B ⊆ A means every element of B is also found in A.
To test for a subset relationship, check each element of the smaller set against the larger one. If even one element is missing, it is not a subset.
Examples:
A = natural numbers less than 10 = {1, 2, 3, 4, 5, 6, 7, 8, 9}, B = {2, 5, 9}. Every element of B is in A, so B ⊆ A. Yes.
A = all hearts in a deck of cards, B = all 4s in a deck of cards. The 4 of spades, clubs and diamonds are in B but not in A. So B is not a subset of A. No.
A = months in the year, B = months beginning with J = {January, June, July}. Every J-month is still a month, so B ⊆ A. Yes.
A = multiples of 10, B = multiples of 5. Every multiple of 10 is also a multiple of 5, so A ⊆ B. Yes.
Symbol | Name | Meaning |
|---|---|---|
{ } | Set braces | Enclose the elements of a set |
∅ | Empty set | The set with no elements |
U | Universal set | All elements under consideration |
A' or Ā | Complement | Everything in U that is not in A |
∩ | Intersection | Elements in both sets |
∪ | Union | Elements in at least one set |
⊆ | Subset | Every element of one set is in the other |
Set theory shows up whenever you need to categorise and cross-reference groups. Database queries, for example, use intersection-style logic when you filter for records matching multiple criteria, and union-style logic when you combine results from different searches. Venn diagrams are widely used in market research, biology (comparing traits across species) and everyday decision-making (comparing features of two products).
Students often confuse intersection (∩) and union (∪). Intersection is the overlap (both), union is the merger (either or both). The ∩ symbol points down like a narrow filter; the ∪ symbol opens up like a cup collecting everything.
Students sometimes think the empty set and the universal set are the same thing. They are opposites: ∅ has nothing, U has everything.
A common error is listing duplicate elements in a union. Each element appears only once, even if it is in both A and B.
Students sometimes assume that subset means "smaller set." Subset means every element is contained in the other set; it says nothing about which set has fewer elements. A set is always a subset of itself.
⚠️ Notation is heavily tested. Know the difference between ∩, ∪, ⊆, and the complement symbol. A swapped symbol changes the entire answer.
⚠️ Expect problems that give you U and two or three named sets and ask for complements, intersections and unions in quick succession. Practise working through these systematically.
⚠️ Venn diagram shading questions appear frequently. Be able to shade the correct region for A', A ∩ B and A ∪ B without hesitation.
⚠️ Subset questions often include a trick pair (like hearts vs. 4s in a deck of cards) where the answer is no. Read the element lists carefully.
True or false: The empty set is a subset of every set.
Fill in the blank: The symbol ∩ represents the ________ of two sets.
True or false: If A = {1, 2, 3} and B = {2, 3, 4}, then A ∪ B = {2, 3}.
Fill in the blank: The complement of set A contains all elements of ________ that are not in A.
True or false: {3, 6, 9} ⊆ {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.
Answers: 1. True. 2. Intersection. 3. False (that is the intersection; the union is {1, 2, 3, 4}). 4. The universal set (U). 5. True.
Q: Given U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {2, 4, 6, 8} and B = {1, 2, 3, 4, 5}, find A ∩ B.
A: A ∩ B = {2, 4}. These are the only elements present in both A and B.
Q: Using the same sets, find A ∪ B.
A: A ∪ B = {1, 2, 3, 4, 5, 6, 8}. Combine all elements from both sets, listing each once.
Q: Using the same sets, find A'.
A: A' = {1, 3, 5, 7, 9}. These are the elements of U that do not appear in A.
Q: Is {2, 4} ⊆ {1, 2, 3, 4, 5}? Explain.
A: Yes. Every element of {2, 4} (namely 2 and 4) is also in {1, 2, 3, 4, 5}, so it satisfies the definition of a subset.
Q: A = all even numbers, B = all multiples of 6. Is B ⊆ A? Is A ⊆ B?
A: B ⊆ A is true, because every multiple of 6 is even. A ⊆ B is false, because 2 is even but not a multiple of 6.
Q: Describe what the region outside both circles but inside the rectangle represents in a two-set Venn diagram.
A: It represents elements that are in the universal set but not in either A or B. In notation, this is (A ∪ B)', the complement of the union.
This material connects directly to probability (Unit 6 and beyond), where "A ∩ B" becomes "A and B" in compound-event probability and "A ∪ B" becomes "A or B." The addition rule for probability, P(A ∪ B) = P(A) + P(B) − P(A ∩ B), relies on understanding exactly what these set operations mean. Venn diagrams will reappear as a tool for solving probability word problems and for visualising survey or categorical data.
set theory, Venn diagram, sets and subsets, union and intersection, complement of a set, universal set, empty set, null set, finite vs infinite sets, set notation, curly brace notation, ∩ symbol, ∪ symbol, ⊆ symbol, AFDA Unit 6, Algebra Functions and Data Analysis, set operations, set theory basics, set theory for statistics, Venn diagram shading, element, member of a set