E1.2 Sets

Syllabus
0580–2028–2029
Topic
E1.2
Level
Extended

Learning objectives

Read set notation and reason through Venn regions

A set is a collection of distinct elements. In a Venn diagram, the rectangle is the universal set E\mathscr E and each circle contains the elements of one set. Overlaps show elements that satisfy more than one set description; regions outside a circle show elements that do not belong to that set.

Notation Meaning
n(A)n(A) number of elements in AA
xAx\in A / xAx\notin A xx is / is not an element of AA
AA' complement: elements of E\mathscr E that are not in AA
\varnothing empty set: a set with no elements
ABA\subseteq B / ABA\nsubseteq B every element of AA is / is not also in BB
ABA\cup B union: in AA or BB, including the overlap
ABA\cap B intersection: in both AA and BB

Sets may be listed, such as D={a,b,c,}D=\{a,b,c,\ldots\}, or defined by a rule. Examples are A={x:x is a natural number}A=\{x:x\text{ is a natural number}\}, C={x:axb}C=\{x:a\le x\le b\}, and B={(x,y):y=mx+c}B=\{(x,y):y=mx+c\}. The colon means ‘such that’; an ordered pair (x,y)(x,y) is one element of BB.

To translate notation into a Venn region:

  1. Work inside brackets first, then apply any complement mark.
  2. For an intersection, keep only regions that satisfy every condition.
  3. For a union, include regions that satisfy at least one condition.
  4. For a complement, switch to the part of the universal set outside the named region.
    With three sets, identify the most specific overlap first; for example, ABCA\cap B'\cap C is inside AA and CC but outside BB.

Let E={1,2,3,4,5,6,7,8,9,10}\mathscr E=\{1,2,3,4,5,6,7,8,9,10\}, A={2,4,6,8,10}A=\{2,4,6,8,10\} and B={3,6,9}B=\{3,6,9\}. Then AB={6}A\cap B=\{6\}, AB={2,3,4,6,8,9,10}A\cup B=\{2,3,4,6,8,9,10\}, and A={1,3,5,7,9}A'=\{1,3,5,7,9\}. Also AB={2,4,8,10}A\cap B'=\{2,4,8,10\}, so n(AB)=4n(A\cap B')=4.

n(AB)=n(A)+n(B)n(AB)n(A\cup B)=n(A)+n(B)-n(A\cap B)

The intersection is subtracted because it was counted once in n(A)n(A) and once in n(B)n(B). When filling a numerical Venn diagram, place the deepest intersection first, then pair-only regions, then single-set regions, and finally the region outside all sets. This prevents an overlap from being counted twice.

xAx\in A says that xx is one element; XAX\subseteq A says that every element of set XX lies in AA. The empty set \varnothing has no elements, whereas {0}\{0\} contains one element. A complement is always relative to the stated universal set, and ‘or’ in a union includes the intersection unless the question explicitly excludes it.