Sets, Venn diagrams and number sets
A set is a well-defined collection of objects, and Venn diagrams show how several sets overlap. In this section you learn the language of sets (membership, union, intersection, complement) and the classification of numbers in , , and . It is the foundation of probability and of many questions in the IB exam.
What a set is
For example, if is the set of vowels in the word "example", then , , and . Although the "e" appears twice in the word, it is written only once in the set.
There are two ways to describe a set:
- By extension: listing the elements, .
- By comprehension: giving the condition the elements satisfy, , read as "the such that is an odd integer between and ".
Two special sets:
- The empty set, (or ), has no elements: .
- The universal set, , contains all the elements under consideration in the problem. You must always know what is in order to talk about the complement.
Relations and operations between sets
The "or" in the union is inclusive: an element that is in both sets is also in the union. And since and do not overlap and together make up , and .
How to calculate with elements
With , and :
- (what appears in both lists).
- (everything that appears in at least one list, without repetition).
- and (what each one is missing to reach ).
Venn diagrams
A Venn diagram draws as a rectangle and each set as a closed region (almost always a circle) inside it. With two sets that overlap, there are four regions:
- only in : ;
- in both: ;
- only in : ;
- outside both: .
With three sets there are eight regions (seven inside the circles and one outside). To shade an operation, shade the region that satisfies the condition: the union is everything inside at least one of the circles; the intersection is the common part; the complement is everything in the rectangle that lies outside the circle.
Why. When you add , the elements of the intersection are counted twice, once in each set. Subtracting once, every element is counted exactly once. If the sets are disjoint, and the cardinality of the union is simply the sum.
Also, within , holds.
Intuition: not being in nor in (outside the union) is the same as not being in and not being in . And not being in both at once (outside the intersection) means failing in or failing in . When you "break" the bracket of the complement, union is swapped for intersection and vice versa.
Number sets
Numbers have been extended so that operations that previously had no answer can be solved.
The irrational numbers are the real numbers that are not rational, that is, those that cannot be written as a fraction of integers. Their set can be denoted . Typical examples are , and .
Each set contains the previous one, which is written
(in a Venn diagram they are circles nested inside one another, with the irrationals in the part of that lies outside ). So the same number can belong to several sets at once: , and therefore also and , but .
How to recognise a rational number from its decimal
- A terminating decimal (such as ) is rational: .
- A recurring decimal (such as or ) is rational: .
- A decimal with infinitely many digits that do not repeat in any period is irrational.
To convert a recurring decimal into a fraction, multiply by a power of that shifts the repeating block and subtract the two expressions. With : , so , that is, and .
Worked examples
Operations with sets of numbers
Let the universal set be , and let and .
a) Write .
b) Write .
c) Write .
d) Find .
Solution
First we write the sets by extension: , and .
a) The common elements are .
b) We put together the elements of both sets without repetition: .
c) The complement of the union is the elements of that are not in : .
d) is what is not in : . The elements of that are in are , so . Check: the even numbers that are not multiples of are .
Classifying numbers
Consider the numbers
a) Indicate which belong to .
b) Indicate which belong to .
c) Indicate which belong to .
d) Indicate which are irrational.
Solution
Before classifying, we simplify each number:
- , a positive integer.
- and is not a perfect square, so is not a fraction: it is irrational.
- (recurring, so it is rational).
- is rational, and is irrational.
a) Naturals (non-negative integers): and . The number is negative, so it is excluded.
b) Integers: , and . The fractions and are not integers.
c) Rationals: , , , and . Remember that every integer is rational, because .
d) Irrationals: and .
These are the five rationals plus the two irrationals: numbers in total, all of them real.
A context problem with Venn
In a group of students, study French, study German and do not study either language. Let be the set of students who study French and the set of those who study German, within the universal set formed by the students.
a) Find .
b) Find .
c) Find the number of students who study French but not German.
d) Find the number of students who study exactly one of the two languages.
Solution
Idea: there are four regions in the diagram (French only, both, German only, neither) and their cardinalities add up to .
a) The who study neither are the complement of the union, . Therefore
b) We use :
c) "French but not German" is . From the total of who study French we take away the who also study German: .
d) "Exactly one" means those who study only French plus those who study only German. German only: . Then .
Check with the diagram: (French only) (both) (German only) (neither) .
In the exam: when filling in a Venn diagram you always start from the intersection region (here, ) and work outwards by subtracting; if you start by putting and inside the circles, you will count the twice. Checking that the regions add up to the total avoids losing marks.
Common mistakes
Summary
- A set is written inside curly brackets; means belonging, is the number of elements, is the empty set and the universal set. A set is described by extension or by comprehension, .
- : elements in both. : in at least one of the two (or in both). : what is in but not in . : every element of is in . Disjoint: .
- Venn diagram: a rectangle for and one region per set. Two overlapping sets give four regions; fill them in starting from the intersection.
- and . Complement laws: and .
- , with in the IB. The irrationals form .
- Rationals: terminating or recurring decimal; irrationals: infinitely many decimals with no repeating pattern. What the GDC displays proves nothing: reason from the definition.
Want to work on it together?
Free first consultation: we look at your level and your exam, and build a plan. Álvaro replies on WhatsApp.
Message us on WhatsApp