#set document(title: "1.3 Sets", author: "OpenStax / XYZ Homework") #set page(width: 8.5in, height: auto, margin: 1in) #import "@preview/cetz:0.5.2" #set text(font: ("STIX Two Text", "Libertinus Serif", "New Computer Modern"), size: 10.5pt, lang: "en") #show math.equation: set text(font: ("STIX Two Math", "New Computer Modern Math")) #set par(justify: true, leading: 0.62em, spacing: 0.9em) #set enum(spacing: 1.1em) // room between list items so tall inline fractions don't collide #set list(spacing: 1.1em) #set table(stroke: 0.5pt + rgb("#c7ccd3")) #let BLUE = rgb("#183B6F") // brand navy — section bars + example/solution labels (white on navy 11.09:1) #let ORANGE = rgb("#A94509") // brand primary-700 — AA-safe deep orange for TEXT (5.93:1 on white; raw brand #F37021 is 2.94:1 and must never carry text) #let RED = rgb("#DC2626") // brand error-600 #let GREEN = rgb("#059669") // brand success-600 (decoration only; small green text uses green-text #007942) #show heading.where(level: 1): it => block(width: 100%, above: 0pt, below: 16pt, fill: gradient.linear(BLUE, rgb("#2C5AA0")), inset: (x: 14pt, y: 12pt), radius: 3pt, text(fill: white, weight: "bold", size: 19pt, it.body)) #show heading.where(level: 2): it => block(width: 100%, above: 18pt, below: 10pt, fill: BLUE, inset: (x: 10pt, y: 6pt), radius: 2pt, text(fill: white, weight: "bold", size: 12pt, it.body)) #show heading.where(level: 3): it => text(fill: ORANGE, weight: "bold", size: 12.5pt, it.body) #show heading.where(level: 4): it => text(fill: BLUE, weight: "bold", size: 10.5pt, it.body) #let examplebox(label, title, body) = block(width: 100%, breakable: true, fill: rgb("#EFF1F5"), stroke: 0.5pt + rgb("#CFDDF0"), radius: 4pt, inset: 10pt, above: 12pt, below: 12pt)[ #block(below: 6pt)[#box(fill: BLUE, inset: (x: 6pt, y: 2pt), radius: 2pt, text(fill: white, weight: "bold", size: 8.5pt, label)) #h(0.4em) #strong[#title]] #body] // rail = decorative left rule (raw brand token); labelcolor = AA-safe label text shade #let notebox(label, rail, labelcolor, tint, body) = block(width: 100%, breakable: true, fill: tint, stroke: (left: 3pt + rail), inset: (left: 10pt, rest: 8pt), radius: (right: 4pt), above: 11pt, below: 11pt)[ #text(fill: labelcolor, weight: "bold", size: 7.5pt, tracking: 0.5pt)[#upper(label)] #linebreak() #body] #let solutionbox(body) = block(above: 4pt, below: 8pt)[ #text(fill: BLUE, weight: "bold", size: 8.5pt)[Solution] #linebreak() #body] #let figph(msg) = block(width: 100%, height: 60pt, fill: rgb("#f6f7f9"), stroke: (paint: rgb("#c7ccd3"), dash: "dashed"), radius: 4pt, inset: 10pt)[ #align(center + horizon, text(fill: rgb("#889"), style: "italic", size: 9pt, msg))] // Standardize inlined figure sizes: measure the natural CeTZ canvas, then scale to a // consistent envelope (aspect-aware; see build_typst.py FIG_* constants). Unlike the // print preamble, dimensions are FLOORED: in an editor a user can trim a figure to a // degenerate 1-D shape (a bare line), and w/h or tw/w would then divide by zero. #let _STD_W = 3.5 #let _WIDE_W = 5.6 #let _MAX_H = 3.4 #let _ASPECT_WIDE = 2.2 #let _UPSCALE_MAX = 1.15 #let stdfig(body) = context { let m = measure(body) let w = calc.max(m.width / 1in, 0.01) let h = calc.max(m.height / 1in, 0.01) let tw = if w / h > _ASPECT_WIDE { _WIDE_W } else { _STD_W } let s = calc.min(tw / w, _MAX_H / h, _UPSCALE_MAX) align(center, box(scale(x: s * 100%, y: s * 100%, reflow: true, body))) } #show figure: set block(breakable: false) #set figure(gap: 8pt) #show figure.caption: set text(size: 8.5pt, fill: rgb("#555")) == 1.3#h(0.6em)Sets The most fundamental objects we will use in our studies (and really in all of math) are #emph[sets]. Much of what follows might be review, but it is very important that you are fluent in the language of set theory. Most of the notation we use below is standard, although some might be a little different than what you have seen before. For us, a #strong[set] will simply be an unordered collection of objects. Two examples: we could consider the set of all actors who have played #emph[The Doctor] on #emph[Doctor Who], or the set of natural numbers between 1 and 10 inclusive. In the first case, Tom Baker is an element (or member) of the set, while Idris Elba, among many others, is not an element of the set. Also, the two examples are of different sets. Two sets are equal exactly if they contain the exact same elements. For example, the set containing all of the vowels in the declaration of independence is precisely the same set as the set of vowels in the word “questionably” (namely, all of them); we do not care about order or repetitions, just whether the element is in the set or not. === Notation We need some notation to make talking about sets easier. Consider, #math.equation(block: true, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$] . This is read, “#math.equation(block: false, alt: "A")[$A$] is the set containing the elements 1, 2 and 3.” We use curly braces “#math.equation(block: false, alt: "open brace , close brace")[$\{ , " " " " \}$]” to enclose elements of a set. Some more notation: #math.equation(block: true, alt: "a ∈ open brace a , b , c close brace")[$a ∈ \{ a , b , c \}$] . The symbol “#math.equation(block: false, alt: "∈")[$∈$]” is read “is in” or “is an element of.” Thus the above means that #math.equation(block: false, alt: "a")[$a$] is an element of the set containing the letters #math.equation(block: false, alt: "a")[$a$], #math.equation(block: false, alt: "b")[$b$], and #math.equation(block: false, alt: "c")[$c$]. Note that this is a true statement. It would also be true to say that #math.equation(block: false, alt: "d")[$d$] is not in that set: #math.equation(block: true, alt: "d ∉ open brace a , b , c close brace")[$d ∉ \{ a , b , c \}$] . Be warned: we write “#math.equation(block: false, alt: "x ∈ A")[$x ∈ A$]” when we wish to express that one of the elements of the set #math.equation(block: false, alt: "A")[$A$] is #math.equation(block: false, alt: "x")[$x$]. For example, consider the set, #math.equation(block: true, alt: "A equals open brace 1 , b , open brace x , y , z close brace , ∅ close brace")[$A = \{ 1 , b , \{ x , y , z \} , upright(∅) \}$] . This is a strange set, to be sure. It contains four elements: the number 1, the letter b, the set #math.equation(block: false, alt: "open brace x , y , z close brace")[$\{ x , y , z \}$], and the empty set #math.equation(block: false, alt: "∅ equals open brace close brace")[$upright(∅) = \{ \}$], the set containing no elements. Is #math.equation(block: false, alt: "x")[$x$] in #math.equation(block: false, alt: "A")[$A$]? The answer is no. None of the four elements in #math.equation(block: false, alt: "A")[$A$] are the letter #math.equation(block: false, alt: "x")[$x$], so we must conclude that #math.equation(block: false, alt: "x ∉ A")[$x ∉ A$]. Similarly, consider the set #math.equation(block: false, alt: "B equals open brace 1 , b close brace")[$B = \{ 1 , b \}$]. Even though the elements of #math.equation(block: false, alt: "B")[$B$] are elements of #math.equation(block: false, alt: "A")[$A$], we cannot say that the #emph[set] #math.equation(block: false, alt: "B")[$B$] is one of the elements of #math.equation(block: false, alt: "A")[$A$]. Therefore #math.equation(block: false, alt: "B ∉ A")[$B ∉ A$]. (Soon we will see that #math.equation(block: false, alt: "B")[$B$] is a #emph[subset] of #math.equation(block: false, alt: "A")[$A$], but this is different from being an #emph[element] of #math.equation(block: false, alt: "A")[$A$].) We have described the sets above by listing their elements. Sometimes this is hard to do, especially when there are a lot of elements in the set (perhaps infinitely many). For instance, if we want #math.equation(block: false, alt: "A")[$A$] to be the set of all even natural numbers, would could write, #math.equation(block: true, alt: "A equals open brace 0 , 2 , 4 , 6 , and so on close brace")[$A = \{ 0 , 2 , 4 , 6 , … \}$] , but this is a little imprecise. A better way would be #math.equation(block: true, alt: "A equals open brace x ∈ N : ∃ n ∈ N open parenthesis x equals 2 n close parenthesis close brace")[$A = \{ x ∈ N : upright(∃) n ∈ N ( x = 2 n ) \}$] . Let's look at this carefully. First, there are some new symbols to digest: “#math.equation(block: false, alt: "N")[$N$]” is the symbol usually used to denote that #strong[natural numbers], which we will take to be the set #math.equation(block: false, alt: "open brace 0 , 1 , 2 , 3 , and so on close brace")[$\{ 0 , 1 , 2 , 3 , … \}$]. Next, the colon, “:”, is read #emph[such that]; it separates the elements that are in the set from the condition that the elements in the set must satisfy. So putting this all together, we would read the set as, “the set of all #math.equation(block: false, alt: "x")[$x$] in the natural numbers, such that there exists some #math.equation(block: false, alt: "n")[$n$] in the natural numbers for which #math.equation(block: false, alt: "x")[$x$] is twice #math.equation(block: false, alt: "n")[$n$].” In other words, the set of all natural numbers, that are even. Here is another way to write the same set. #math.equation(block: true, alt: "A equals open brace x ∈ N : x is even close brace")[$A = \{ x ∈ N : x " is even" \}$] . Note: Sometimes mathematicians use #math.equation(block: false, alt: "vertical bar")[$|$] or #math.equation(block: false, alt: "∍")[$∍$] for the “such that” symbol instead of the colon. Also, there is a fairly even split between mathematicians about whether #math.equation(block: false, alt: "0")[$0$] is an element of the natural numbers, so be careful there. This notation is usually called #strong[set builder notation]. It tells us how to #emph[build] a set by telling us precisely the condition elements must meet to gain access (the condition is the logical statement after the “#math.equation(block: false, alt: ":")[$:$]” symbol). Reading and comprehending sets written in this way takes practice. Here are some more examples: #examplebox("Example 1")[][ Describe each of the following sets both in words and by listing out enough elements to see the pattern. + #math.equation(block: false, alt: "open brace x : x plus 3 ∈ N close brace")[$\{ x : x + 3 ∈ N \}$]. + #math.equation(block: false, alt: "open brace x ∈ N : x plus 3 ∈ N close brace")[$\{ x ∈ N : x + 3 ∈ N \}$]. + #math.equation(block: false, alt: "open brace x : x ∈ N ∨ minus x ∈ N close brace")[$\{ x : x ∈ N ∨ − x ∈ N \}$]. + #math.equation(block: false, alt: "open brace x : x ∈ N ∧ minus x ∈ N close brace")[$\{ x : x ∈ N ∧ − x ∈ N \}$]. #solutionbox[ + This is the set of all numbers which are 3 less than a natural number (i.e., that if you add 3 to them, you get a natural number). The set could also be written as #math.equation(block: false, alt: "open brace minus 3 , minus 2 , minus 1 , 0 , 1 , 2 , and so on close brace")[$\{ − 3 , − 2 , − 1 , 0 , 1 , 2 , … \}$] (note that 0 is a natural number, so #math.equation(block: false, alt: "minus 3")[$− 3$] is in this set because #math.equation(block: false, alt: "minus 3 plus 3 equals 0")[$− 3 + 3 = 0$]). + This is the set of all natural numbers which are 3 less than a natural number. So here we just have #math.equation(block: false, alt: "open brace 0 , 1 , 2 , 3 and so on close brace")[$\{ 0 , 1 , 2 , 3 … \}$]. + This is the set of all integers (positive and negative whole numbers, written #math.equation(block: false, alt: "Z")[$Z$]). In other words, #math.equation(block: false, alt: "open brace and so on , minus 2 , minus 1 , 0 , 1 , 2 , and so on close brace")[$\{ … , − 2 , − 1 , 0 , 1 , 2 , … \}$]. + Here we want all numbers #math.equation(block: false, alt: "x")[$x$] such that #math.equation(block: false, alt: "x")[$x$] and #math.equation(block: false, alt: "minus x")[$− x$] are natural numbers. There is only one: 0. So we have the set #math.equation(block: false, alt: "open brace 0 close brace")[$\{ 0 \}$]. ] ] There is also a subtle variation on set builder notation. While the condition is generally given after the “such that”, sometimes it is hidden in the first part. Here is an example. #examplebox("Example 2")[][ List a few elements in the sets below and describe them in words. The set #math.equation(block: false, alt: "Z")[$Z$] is the set of #strong[integers]; positive and negative whole numbers. + #math.equation(block: false, alt: "A equals open brace x ∈ Z : x squared ∈ N close brace")[$A = \{ x ∈ Z : x^(2) ∈ N \}$] + #math.equation(block: false, alt: "B equals open brace x squared : x ∈ N close brace")[$B = \{ x^(2) : x ∈ N \}$] #solutionbox[ + The set of integers that pass the condition that their square is a natural number. Well, every integer, when you square it, gives you a non-negative integer, so a natural number. Thus #math.equation(block: false, alt: "A equals Z equals open brace and so on , minus 2 , minus 1 , 0 , 1 , 2 , 3 , and so on close brace")[$A = Z = \{ … , − 2 , − 1 , 0 , 1 , 2 , 3 , … \}$]. + Here we are looking for the set of all #math.equation(block: false, alt: "x squared")[$x^(2)$]s where #math.equation(block: false, alt: "x")[$x$] is a natural number. So this set is simply the set of perfect squares. #math.equation(block: false, alt: "B equals open brace 0 , 1 , 4 , 9 , 16 , and so on close brace")[$B = \{ 0 , 1 , 4 , 9 , 16 , … \}$]. #linebreak() Another way we could have written this set, using more strict set builder notation, would be as #math.equation(block: false, alt: "B equals open brace x ∈ N : x equals n squared for some n ∈ N close brace")[$B = \{ x ∈ N : x = n^(2) " for some " n ∈ N \}$]. ] ] We already have a lot of notation, and there is more yet. Below is a handy chart of symbols. Some of these will be discussed in greater detail as we move forward. #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[ #emph[Special sets] - #strong[#math.equation(block: false, alt: "∅")[$upright(∅)$]] #linebreak() The #strong[empty set] is the set which contains no elements. - #strong[#math.equation(block: false, alt: "U")[$U$]] #linebreak() The #strong[universe set] is the set of all elements. - #strong[#math.equation(block: false, alt: "N")[$N$]] #linebreak() The set of natural numbers. That is, #math.equation(block: false, alt: "N equals open brace 0 , 1 , 2 , 3 and so on close brace")[$N = \{ 0 , 1 , 2 , 3 … \}$]. - #strong[#math.equation(block: false, alt: "Z")[$Z$]] #linebreak() The set of integers. That is, #math.equation(block: false, alt: "Z equals open brace and so on , minus 2 , minus 1 , 0 , 1 , 2 , 3 , and so on close brace")[$Z = \{ … , − 2 , − 1 , 0 , 1 , 2 , 3 , … \}$]. - #strong[#math.equation(block: false, alt: "Q")[$Q$]] #linebreak() The set of rational numbers. - #strong[#math.equation(block: false, alt: "R")[$R$]] #linebreak() The set of real numbers. - #strong[#math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]] #linebreak() The #strong[power set] of any set #math.equation(block: false, alt: "A")[$A$] is the set of all subsets of #math.equation(block: false, alt: "A")[$A$]. ] #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[ #emph[Set Theory Notation] - #strong[#math.equation(block: false, alt: "open brace , close brace")[$\{ , \}$]] #linebreak() We use these #strong[braces] to enclose the elements of a set. So #math.equation(block: false, alt: "open brace 1 , 2 , 3 close brace")[$\{ 1 , 2 , 3 \}$] is the set containing 1, 2, and 3. - #strong[#math.equation(block: false, alt: ":")[$:$]] #linebreak() #math.equation(block: false, alt: "open brace x : x greater than 2 close brace")[$\{ x : x > 2 \}$] is the set of all #math.equation(block: false, alt: "x")[$x$] #strong[such that] #math.equation(block: false, alt: "x")[$x$] is greater than 2. - #strong[#math.equation(block: false, alt: "∈")[$∈$]] #linebreak() #math.equation(block: false, alt: "2 ∈ open brace 1 , 2 , 3 close brace")[$2 ∈ \{ 1 , 2 , 3 \}$] asserts that 2 is #strong[an element of] the set #math.equation(block: false, alt: "open brace 1 , 2 , 3 close brace")[$\{ 1 , 2 , 3 \}$]. - #strong[#math.equation(block: false, alt: "∉")[$∉$]] #linebreak() #math.equation(block: false, alt: "4 ∉ open brace 1 , 2 , 3 close brace")[$4 ∉ \{ 1 , 2 , 3 \}$] because 4 #strong[is not an element of] the set #math.equation(block: false, alt: "open brace 1 , 2 , 3 close brace")[$\{ 1 , 2 , 3 \}$]. - #strong[#math.equation(block: false, alt: "⊆")[$⊆$]] #linebreak() #math.equation(block: false, alt: "A ⊆ B")[$A ⊆ B$] asserts that #strong[#math.equation(block: false, alt: "A")[$A$] is a subset of #math.equation(block: false, alt: "B")[$B$]]: every element of #math.equation(block: false, alt: "A")[$A$] is also an element of #math.equation(block: false, alt: "B")[$B$]. - #strong[#math.equation(block: false, alt: "⊂")[$⊂$]] #linebreak() #math.equation(block: false, alt: "A ⊂ B")[$A ⊂ B$] asserts that #strong[#math.equation(block: false, alt: "A")[$A$] is a proper subset of #math.equation(block: false, alt: "B")[$B$]]: every element of #math.equation(block: false, alt: "A")[$A$] is also an element of #math.equation(block: false, alt: "B")[$B$], but #math.equation(block: false, alt: "A not equal to B")[$A ≠ B$]. - #strong[#math.equation(block: false, alt: "intersection")[$∩$]] #linebreak() #math.equation(block: false, alt: "A intersection B")[$A ∩ B$] is the #strong[intersection of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]]: the set containing all elements which are elements of both #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]. - #strong[#math.equation(block: false, alt: "union")[$∪$]] #linebreak() #math.equation(block: false, alt: "A union B")[$A ∪ B$] is the #strong[union of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]]: is the set containing all elements which are elements of #math.equation(block: false, alt: "A")[$A$] or #math.equation(block: false, alt: "B")[$B$] or both. - #strong[#math.equation(block: false, alt: "times")[$×$]] #linebreak() #math.equation(block: false, alt: "A times B")[$A × B$] is the #strong[Cartesian product of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]]: the set of all ordered pairs #math.equation(block: false, alt: "open parenthesis a , b close parenthesis")[$( a , b )$] with #math.equation(block: false, alt: "a ∈ A")[$a ∈ A$] and #math.equation(block: false, alt: "b ∈ B")[$b ∈ B$]. - #strong[#math.equation(block: false, alt: "∖")[$∖$]] #linebreak() #math.equation(block: false, alt: "A ∖ B")[$A ∖ B$] is #strong[set difference between #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]]: the set containing all elements of #math.equation(block: false, alt: "A")[$A$] which are not elements of #math.equation(block: false, alt: "B")[$B$]. - #strong[#math.equation(block: false, alt: "A bar")[$limits(A)^(―)$]] #linebreak() The #strong[complement of #math.equation(block: false, alt: "A")[$A$]] is the set of everything which is not an element of #math.equation(block: false, alt: "A")[$A$]. - #strong[#math.equation(block: false, alt: "vertical bar A vertical bar")[$| A |$]] #linebreak() The #strong[cardinality (or size) of #math.equation(block: false, alt: "A")[$A$]] is the number of elements in #math.equation(block: false, alt: "A")[$A$]. ] #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[ + Find the cardinality of each set below. + #math.equation(block: false, alt: "A equals open brace 3 , 4 , and so on , 15 close brace")[$A = \{ 3 , 4 , … , 15 \}$]. + #math.equation(block: false, alt: "B equals open brace n ∈ N : 2 less than n less than or equal to 200 close brace")[$B = \{ n ∈ N : 2 < n ≤ 200 \}$]. + #math.equation(block: false, alt: "C equals open brace n less than or equal to 100 : n ∈ N ∧ ∃ m ∈ N open parenthesis n equals 2 m plus 1 close parenthesis close brace")[$C = \{ n ≤ 100 : n ∈ N ∧ upright(∃) m ∈ N ( n = 2 m + 1 ) \}$]. + Find two sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] for which #math.equation(block: false, alt: "vertical bar A vertical bar equals 5")[$| A | = 5$], #math.equation(block: false, alt: "vertical bar B vertical bar equals 6")[$| B | = 6$], and #math.equation(block: false, alt: "vertical bar A union B vertical bar equals 9")[$| A ∪ B | = 9$]. What is #math.equation(block: false, alt: "vertical bar A intersection B vertical bar")[$| A ∩ B |$]? + Find sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] with #math.equation(block: false, alt: "vertical bar A vertical bar equals vertical bar B vertical bar")[$| A | = | B |$] such that #math.equation(block: false, alt: "vertical bar A union B vertical bar equals 7")[$| A ∪ B | = 7$] and #math.equation(block: false, alt: "vertical bar A intersection B vertical bar equals 3")[$| A ∩ B | = 3$]. What is #math.equation(block: false, alt: "vertical bar A vertical bar")[$| A |$]? + Let #math.equation(block: false, alt: "A equals open brace 1 , 2 , and so on , 10 close brace")[$A = \{ 1 , 2 , … , 10 \}$]. Define #math.equation(block: false, alt: "B sub 2 equals open brace B ⊆ A : vertical bar B vertical bar equals 2 close brace")[$B_(2) = \{ B ⊆ A : | B | = 2 \}$]. Find #math.equation(block: false, alt: "vertical bar B sub 2 vertical bar")[$| B_(2) |$]. + For any sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$], define #math.equation(block: false, alt: "A B equals open brace a b : a ∈ A ∧ b ∈ B close brace")[$A B = \{ a b : a ∈ A ∧ b ∈ B \}$]. If #math.equation(block: false, alt: "A equals open brace 1 , 2 close brace")[$A = \{ 1 , 2 \}$] and #math.equation(block: false, alt: "B equals open brace 2 , 3 , 4 close brace")[$B = \{ 2 , 3 , 4 \}$], what is #math.equation(block: false, alt: "vertical bar A B vertical bar")[$| A B |$]? What is #math.equation(block: false, alt: "vertical bar A times B vertical bar")[$| A × B |$]? ] === Relationships Between Sets We have already said what it means for two sets to be equal: they have exactly the same elements. Thus, for example, #math.equation(block: true, alt: "open brace 1 , 2 , 3 close brace equals open brace 2 , 1 , 3 close brace")[$\{ 1 , 2 , 3 \} = \{ 2 , 1 , 3 \}$] . (Remember, the order the elements are written down in does not matter.) Also, #math.equation(block: true, alt: "open brace 1 , 2 , 3 close brace equals open brace 1 , 1 plus 1 , 1 plus 1 plus 1 close brace equals open brace I , I I , I I I close brace equals open brace 1 , 2 , 3 , 1 plus 2 close brace")[$\{ 1 , 2 , 3 \} = \{ 1 , 1 + 1 , 1 + 1 + 1 \} = \{ I , I I , I I I \} = \{ 1 , 2 , 3 , 1 + 2 \}$] since these are all ways to write the set containing the first three positive integers (how we write them doesn't matter, just what they are). What about the sets #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "B equals open brace 1 , 2 , 3 , 4 close brace")[$B = \{ 1 , 2 , 3 , 4 \}$]? Clearly #math.equation(block: false, alt: "A not equal to B")[$A ≠ B$], but notice that every element of #math.equation(block: false, alt: "A")[$A$] is also an element of #math.equation(block: false, alt: "B")[$B$]. Because of this we say that #math.equation(block: false, alt: "A")[$A$] is a #emph[subset] of #math.equation(block: false, alt: "B")[$B$], or in symbols #math.equation(block: false, alt: "A ⊂ B")[$A ⊂ B$] or #math.equation(block: false, alt: "A ⊆ B")[$A ⊆ B$]. Both symbols are read “is a subset of.” The difference is that sometimes we want to say that #math.equation(block: false, alt: "A")[$A$] is either equal to or is a subset of #math.equation(block: false, alt: "B")[$B$], in which case we use #math.equation(block: false, alt: "⊆")[$⊆$]. This is analogous to the difference between #math.equation(block: false, alt: "less than")[$<$] and #math.equation(block: false, alt: "less than or equal to")[$≤$]. #examplebox("Example 3")[][ Let #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 , 4 , 5 , 6 close brace")[$A = \{ 1 , 2 , 3 , 4 , 5 , 6 \}$], #math.equation(block: false, alt: "B equals open brace 2 , 4 , 6 close brace")[$B = \{ 2 , 4 , 6 \}$], #math.equation(block: false, alt: "C equals open brace 1 , 2 , 3 close brace")[$C = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "D equals open brace 7 , 8 , 9 close brace")[$D = \{ 7 , 8 , 9 \}$]. Determine which of the following are true, false, or meaningless. + #math.equation(block: false, alt: "A ⊂ B")[$A ⊂ B$]. + #math.equation(block: false, alt: "B ⊂ A")[$B ⊂ A$]. + #math.equation(block: false, alt: "B ∈ C")[$B ∈ C$]. + #math.equation(block: false, alt: "∅ ∈ A")[$upright(∅) ∈ A$]. + #math.equation(block: false, alt: "∅ ⊂ A")[$upright(∅) ⊂ A$]. + #math.equation(block: false, alt: "A less than D")[$A < D$]. + #math.equation(block: false, alt: "3 ∈ C")[$3 ∈ C$]. + #math.equation(block: false, alt: "3 ⊂ C")[$3 ⊂ C$]. + #math.equation(block: false, alt: "open brace 3 close brace ⊂ C")[$\{ 3 \} ⊂ C$]. #solutionbox[ + False. For example, #math.equation(block: false, alt: "1 ∈ A")[$1 ∈ A$] but #math.equation(block: false, alt: "1 ∉ B")[$1 ∉ B$]. + True. Every element in #math.equation(block: false, alt: "B")[$B$] is an element in #math.equation(block: false, alt: "A")[$A$]. + False. The elements in #math.equation(block: false, alt: "C")[$C$] are 1, 2, and 3. The #emph[set] #math.equation(block: false, alt: "B")[$B$] is not equal to 1, 2, or 3. + False. #math.equation(block: false, alt: "A")[$A$] has exactly 6 elements, and none of them are the empty set. + True. Everything in the empty set (nothing) is also an element of #math.equation(block: false, alt: "A")[$A$]. Notice that the empty set is a subset of every set. + Meaningless. A set cannot be less than another set. + True. #math.equation(block: false, alt: "3")[$3$] is one of the elements of the set #math.equation(block: false, alt: "C")[$C$]. + Meaningless. #math.equation(block: false, alt: "3")[$3$] is not a set, so it cannot be a subset of another set. + True. #math.equation(block: false, alt: "3")[$3$] is the only element of the set #math.equation(block: false, alt: "open brace 3 close brace")[$\{ 3 \}$], and is an element of #math.equation(block: false, alt: "C")[$C$], so every element in #math.equation(block: false, alt: "open brace 3 close brace")[$\{ 3 \}$] is an element of #math.equation(block: false, alt: "C")[$C$]. ] ] In the example above, #math.equation(block: false, alt: "B")[$B$] is a subset of #math.equation(block: false, alt: "A")[$A$]. You might wonder what other sets are subsets of #math.equation(block: false, alt: "A")[$A$]. If you collect all these subsets of #math.equation(block: false, alt: "A")[$A$] into a new set, we get a set of sets. We call the set of all subsets of #math.equation(block: false, alt: "A")[$A$] the #strong[power set] of #math.equation(block: false, alt: "A")[$A$], and write it #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]. #examplebox("Example 4")[][ Let #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$]. Find #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]. #solutionbox[ #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$] is a set of sets, all of which are subsets of #math.equation(block: false, alt: "A")[$A$]. So #math.equation(block: true, alt: "P open parenthesis A close parenthesis equals open brace ∅ , open brace 1 close brace , open brace 2 close brace , open brace 3 close brace , open brace 1 , 2 close brace , open brace 1 , 3 close brace , open brace 2 , 3 close brace , open brace 1 , 2 , 3 close brace close brace")[$P ( A ) = \{ upright(∅) , \{ 1 \} , \{ 2 \} , \{ 3 \} , \{ 1 , 2 \} , \{ 1 , 3 \} , \{ 2 , 3 \} , \{ 1 , 2 , 3 \} \}$] . Notice that while #math.equation(block: false, alt: "2 ∈ A")[$2 ∈ A$], it is wrong to write #math.equation(block: false, alt: "2 ∈ P open parenthesis A close parenthesis")[$2 ∈ P ( A )$] since none of the elements in #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$] are numbers! On the other hand, we do have #math.equation(block: false, alt: "open brace 2 close brace ∈ P open parenthesis A close parenthesis")[$\{ 2 \} ∈ P ( A )$] because #math.equation(block: false, alt: "open brace 2 close brace ⊆ A")[$\{ 2 \} ⊆ A$]. What does a subset of #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$] look like? Notice that #math.equation(block: false, alt: "open brace 2 close brace ⊈ P open parenthesis A close parenthesis")[$\{ 2 \} ⊈ P ( A )$] because not everything in #math.equation(block: false, alt: "open brace 2 close brace")[$\{ 2 \}$] is in #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]. But we do have #math.equation(block: false, alt: "open brace open brace 2 close brace close brace ⊆ P open parenthesis A close parenthesis")[$\{ \{ 2 \} \} ⊆ P ( A )$]. The only element of #math.equation(block: false, alt: "open brace open brace 2 close brace close brace")[$\{ \{ 2 \} \}$] is the set #math.equation(block: false, alt: "open brace 2 close brace")[$\{ 2 \}$] which is also an element of #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]. We could take the collection of all subsets of #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$] and call that #math.equation(block: false, alt: "P open parenthesis P open parenthesis A close parenthesis close parenthesis")[$P ( P ( A ) )$]. Or even the power set of that set of sets of sets. ] ] Another way to compare sets is by their #emph[size]. Notice that in the example above, #math.equation(block: false, alt: "A")[$A$] has 6 elements and #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "C")[$C$], and #math.equation(block: false, alt: "D")[$D$] all have 3 elements. The size of a set is called the set's #strong[cardinality] . We would write #math.equation(block: false, alt: "vertical bar A vertical bar equals 6")[$| A | = 6$], #math.equation(block: false, alt: "vertical bar B vertical bar equals 3")[$| B | = 3$], and so on. For sets that have a finite number of elements, the cardinality of the set is simply the number of elements in the set. Note that the cardinality of #math.equation(block: false, alt: "open brace 1 , 2 , 3 , 2 , 1 close brace")[$\{ 1 , 2 , 3 , 2 , 1 \}$] is 3. We do not count repeats (in fact, #math.equation(block: false, alt: "open brace 1 , 2 , 3 , 2 , 1 close brace")[$\{ 1 , 2 , 3 , 2 , 1 \}$] is exactly the same set as #math.equation(block: false, alt: "open brace 1 , 2 , 3 close brace")[$\{ 1 , 2 , 3 \}$]). There are sets with infinite cardinality, such as #math.equation(block: false, alt: "N")[$N$], the set of rational numbers (written #math.equation(block: false, alt: "Q")[$Q$]), the set of even natural numbers, and the set of real numbers (#math.equation(block: false, alt: "R")[$R$]). It is possible to distinguish between different infinite cardinalities, but that is beyond the scope of this text. For us, a set will either be infinite, or finite; if it is finite, the we can determine its cardinality by counting elements. #examplebox("Example 5")[][ + Find the cardinality of #math.equation(block: false, alt: "A equals open brace 23 , 24 , and so on , 37 , 38 close brace")[$A = \{ 23 , 24 , … , 37 , 38 \}$]. + Find the cardinality of #math.equation(block: false, alt: "B equals open brace 1 , open brace 2 , 3 , 4 close brace , ∅ close brace")[$B = \{ 1 , \{ 2 , 3 , 4 \} , upright(∅) \}$]. + If #math.equation(block: false, alt: "C equals open brace 1 , 2 , 3 close brace")[$C = \{ 1 , 2 , 3 \}$], what is the cardinality of #math.equation(block: false, alt: "P open parenthesis C close parenthesis")[$P ( C )$]? #solutionbox[ + Since #math.equation(block: false, alt: "38 minus 23 equals 15")[$38 − 23 = 15$], we can conclude that the cardinality of the set is #math.equation(block: false, alt: "vertical bar A vertical bar equals 16")[$| A | = 16$] (you need to add one since 23 is included). + Here #math.equation(block: false, alt: "vertical bar B vertical bar equals 3")[$| B | = 3$]. The three elements are the number 1, the set #math.equation(block: false, alt: "open brace 2 , 3 , 4 close brace")[$\{ 2 , 3 , 4 \}$], and the empty set. + We wrote out the elements of the power set #math.equation(block: false, alt: "P open parenthesis C close parenthesis")[$P ( C )$] above, and there are 8 elements (each of which is a set). So #math.equation(block: false, alt: "vertical bar P open parenthesis C close parenthesis vertical bar equals 8")[$| P ( C ) | = 8$]. (You might wonder if there is a relationship between #math.equation(block: false, alt: "vertical bar A vertical bar")[$| A |$] and #math.equation(block: false, alt: "vertical bar P open parenthesis A close parenthesis vertical bar")[$| P ( A ) |$] for all sets #math.equation(block: false, alt: "A")[$A$]. This is a good question which we will return to in Counting.) ] ] === Operations On Sets Is it possible to add two sets? Not really, however there is something similar. If we want to combine two sets to get the collection of objects that are in either set, then we can take the #strong[union] of the two sets. Symbolically, #math.equation(block: true, alt: "C equals A union B")[$C = A ∪ B$] , read, “#math.equation(block: false, alt: "C")[$C$] is the union of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$],” means that the elements of #math.equation(block: false, alt: "C")[$C$] are exactly the elements which are either an element of #math.equation(block: false, alt: "A")[$A$] or an element of #math.equation(block: false, alt: "B")[$B$] (or an element of both). For example, if #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "B equals open brace 2 , 3 , 4 close brace")[$B = \{ 2 , 3 , 4 \}$], then #math.equation(block: false, alt: "A union B equals open brace 1 , 2 , 3 , 4 close brace")[$A ∪ B = \{ 1 , 2 , 3 , 4 \}$]. The other common operation on sets is #strong[intersection]. We write, #math.equation(block: true, alt: "C equals A intersection B")[$C = A ∩ B$] and say, “#math.equation(block: false, alt: "C")[$C$] is the intersection of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$],” when the elements in #math.equation(block: false, alt: "C")[$C$] are precisely those both in #math.equation(block: false, alt: "A")[$A$] and in #math.equation(block: false, alt: "B")[$B$]. So if #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "B equals open brace 2 , 3 , 4 close brace")[$B = \{ 2 , 3 , 4 \}$], then #math.equation(block: false, alt: "A intersection B equals open brace 2 , 3 close brace")[$A ∩ B = \{ 2 , 3 \}$]. Often when dealing with sets, we will have some understanding as to what “everything” is. Perhaps we are only concerned with natural numbers. In this case we would say that our #strong[universe] is #math.equation(block: false, alt: "N")[$N$]. Sometimes we denote this universe by #math.equation(block: false, alt: "U")[$U$]. Given this context, we might wish to speak of all the elements which are #emph[not] in a particular set. We say #math.equation(block: false, alt: "B")[$B$] is the #strong[complement] of #math.equation(block: false, alt: "A")[$A$], and write, #math.equation(block: true, alt: "B equals A bar")[$B = limits(A)^(―)$] when #math.equation(block: false, alt: "B")[$B$] contains every element not contained in #math.equation(block: false, alt: "A")[$A$]. So, if our universe is #math.equation(block: false, alt: "open brace 1 , 2 , and so on , 9 , 10 close brace")[$\{ 1 , 2 , … , 9 , 10 \}$], and #math.equation(block: false, alt: "A equals open brace 2 , 3 , 5 , 7 close brace")[$A = \{ 2 , 3 , 5 , 7 \}$], then #math.equation(block: false, alt: "A bar equals open brace 1 , 4 , 6 , 8 , 9 , 10 close brace")[$limits(A)^(―) = \{ 1 , 4 , 6 , 8 , 9 , 10 \}$]. Of course we can perform more than one operation at a time. For example, consider #math.equation(block: true, alt: "A intersection B bar")[$A ∩ limits(B)^(―)$] . This is the set of all elements which are both elements of #math.equation(block: false, alt: "A")[$A$] and not elements of #math.equation(block: false, alt: "B")[$B$]. What have we done? We've started with #math.equation(block: false, alt: "A")[$A$] and removed all of the elements which were in #math.equation(block: false, alt: "B")[$B$]. Another way to write this is the #strong[set difference]: #math.equation(block: true, alt: "A intersection B bar equals A ∖ B")[$A ∩ limits(B)^(―) = A ∖ B$] . It is important to remember that these operations (union, intersection, complement, and difference) on sets produce other sets. Don't confuse these with the symbols from the previous section (element of and subset of). #math.equation(block: false, alt: "A intersection B")[$A ∩ B$] is a set, while #math.equation(block: false, alt: "A ⊆ B")[$A ⊆ B$] is true or false. This is the same difference as between #math.equation(block: false, alt: "3 plus 2")[$3 + 2$] (which is a number) and #math.equation(block: false, alt: "3 less than or equal to 2")[$3 ≤ 2$] (which is false). #examplebox("Example 6")[][ Let #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 , 4 , 5 , 6 close brace")[$A = \{ 1 , 2 , 3 , 4 , 5 , 6 \}$], #math.equation(block: false, alt: "B equals open brace 2 , 4 , 6 close brace")[$B = \{ 2 , 4 , 6 \}$], #math.equation(block: false, alt: "C equals open brace 1 , 2 , 3 close brace")[$C = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "D equals open brace 7 , 8 , 9 close brace")[$D = \{ 7 , 8 , 9 \}$]. If the universe is #math.equation(block: false, alt: "U equals open brace 1 , 2 , and so on , 10 close brace")[$U = \{ 1 , 2 , … , 10 \}$], find: + #math.equation(block: false, alt: "A union B")[$A ∪ B$]. + #math.equation(block: false, alt: "A intersection B")[$A ∩ B$]. + #math.equation(block: false, alt: "B intersection C")[$B ∩ C$]. + #math.equation(block: false, alt: "A intersection D")[$A ∩ D$]. + #math.equation(block: false, alt: "B union C bar")[$limits(B ∪ C)^(―)$]. + #math.equation(block: false, alt: "A ∖ B")[$A ∖ B$]. + #math.equation(block: false, alt: "open parenthesis D intersection C bar close parenthesis union A intersection B bar")[$( D ∩ limits(C)^(―) ) ∪ limits(A ∩ B)^(―)$]. + #math.equation(block: false, alt: "∅ union C")[$upright(∅) ∪ C$]. + #math.equation(block: false, alt: "∅ intersection C")[$upright(∅) ∩ C$]. #solutionbox[ + #math.equation(block: false, alt: "A union B equals open brace 1 , 2 , 3 , 4 , 5 , 6 close brace equals A")[$A ∪ B = \{ 1 , 2 , 3 , 4 , 5 , 6 \} = A$] since everything in #math.equation(block: false, alt: "B")[$B$] is already in #math.equation(block: false, alt: "A")[$A$]. + #math.equation(block: false, alt: "A intersection B equals open brace 2 , 4 , 6 close brace equals B")[$A ∩ B = \{ 2 , 4 , 6 \} = B$] since everything in #math.equation(block: false, alt: "B")[$B$] is in #math.equation(block: false, alt: "A")[$A$]. + #math.equation(block: false, alt: "B intersection C equals open brace 2 close brace")[$B ∩ C = \{ 2 \}$] as the only element of both #math.equation(block: false, alt: "B")[$B$] and #math.equation(block: false, alt: "C")[$C$] is 2. + #math.equation(block: false, alt: "A intersection D equals ∅")[$A ∩ D = upright(∅)$] since #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "D")[$D$] have no common elements. + #math.equation(block: false, alt: "B union C bar equals open brace 5 , 7 , 8 , 9 , 10 close brace")[$limits(B ∪ C)^(―) = \{ 5 , 7 , 8 , 9 , 10 \}$]. First we find that #math.equation(block: false, alt: "B union C equals open brace 1 , 2 , 3 , 4 , 6 close brace")[$B ∪ C = \{ 1 , 2 , 3 , 4 , 6 \}$], then we take everything not in that set. + #math.equation(block: false, alt: "A ∖ B equals open brace 1 , 3 , 5 close brace")[$A ∖ B = \{ 1 , 3 , 5 \}$] since the elements 1, 3, and 5 are in #math.equation(block: false, alt: "A")[$A$] but not in #math.equation(block: false, alt: "B")[$B$]. This is the same as #math.equation(block: false, alt: "A intersection B bar")[$A ∩ limits(B)^(―)$]. + #math.equation(block: false, alt: "open parenthesis D intersection C bar close parenthesis union A intersection B bar equals open brace 1 , 3 , 5 , 7 , 8 , 9 , 10 close brace")[$( D ∩ limits(C)^(―) ) ∪ limits(A ∩ B)^(―) = \{ 1 , 3 , 5 , 7 , 8 , 9 , 10 \}$]. The set contains all elements that are either in #math.equation(block: false, alt: "D")[$D$] but not in #math.equation(block: false, alt: "C")[$C$] (i.e., #math.equation(block: false, alt: "open brace 7 , 8 , 9 close brace")[$\{ 7 , 8 , 9 \}$]), or not in both #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] (i.e., #math.equation(block: false, alt: "open brace 1 , 3 , 5 , 7 , 8 , 9 , 10 close brace")[$\{ 1 , 3 , 5 , 7 , 8 , 9 , 10 \}$]). + #math.equation(block: false, alt: "∅ union C equals C")[$upright(∅) ∪ C = C$] since nothing is added by the empty set. + #math.equation(block: false, alt: "∅ intersection C equals ∅")[$upright(∅) ∩ C = upright(∅)$] since nothing can be both in a set and in the empty set. ] ] Having notation like this is useful. We will often want to add or remove elements from sets, and our notation allows us to do so precisely. #examplebox("Example 7")[][ If #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$], then we can describe the set we get by adding the number 4 as #math.equation(block: false, alt: "A union open brace 4 close brace")[$A ∪ \{ 4 \}$]. If we want to express the set we get by removing the number 2 from #math.equation(block: false, alt: "A")[$A$] we can do so by writing #math.equation(block: false, alt: "A ∖ open brace 2 close brace")[$A ∖ \{ 2 \}$]. Careful though. If you add an element to the set, you get a new set! So you would have #math.equation(block: false, alt: "B equals A union open brace 4 close brace")[$B = A ∪ \{ 4 \}$] and then correctly say that #math.equation(block: false, alt: "B")[$B$] contains 4, but #math.equation(block: false, alt: "A")[$A$] does not. ] You might notice that the symbols for union and intersection slightly resemble the logic symbols for “or” and “and.” This is no accident. What does it mean for #math.equation(block: false, alt: "x")[$x$] to be an element of #math.equation(block: false, alt: "A union B")[$A ∪ B$]? It means that #math.equation(block: false, alt: "x")[$x$] is an element of #math.equation(block: false, alt: "A")[$A$] #emph[or] #math.equation(block: false, alt: "x")[$x$] is an element of #math.equation(block: false, alt: "B")[$B$] (or both). That is, #math.equation(block: true, alt: "x ∈ A union B ⇔ x ∈ A ∨ x ∈ B")[$x ∈ A ∪ B #h(2em) ⇔ #h(2em) x ∈ A ∨ x ∈ B$] . Similarly, #math.equation(block: true, alt: "x ∈ A intersection B ⇔ x ∈ A ∧ x ∈ B")[$x ∈ A ∩ B #h(2em) ⇔ #h(2em) x ∈ A ∧ x ∈ B$] . Also, #math.equation(block: true, alt: "x ∈ A bar ⇔ ¬ open parenthesis x ∈ A close parenthesis")[$x ∈ limits(A)^(―) #h(2em) ⇔ #h(2em) upright(¬) ( x ∈ A )$] . which says #math.equation(block: false, alt: "x")[$x$] is an element of the complement of #math.equation(block: false, alt: "A")[$A$] if #math.equation(block: false, alt: "x")[$x$] is not an element of #math.equation(block: false, alt: "A")[$A$]. There is one more way to combine sets which will be useful for us: the #strong[Cartesian product], #math.equation(block: false, alt: "A times B")[$A × B$]. This sounds fancy but is nothing you haven't seen before. When you graph a function in calculus, you graph it in the Cartesian plane. This is the set of all ordered pairs of real numbers #math.equation(block: false, alt: "open parenthesis x , y close parenthesis")[$( x , y )$]. We can do this for #emph[any] pair of sets, not just the real numbers with themselves. Put another way, #math.equation(block: false, alt: "A times B equals open brace open parenthesis a , b close parenthesis : a ∈ A ∧ b ∈ B close brace")[$A × B = \{ ( a , b ) : a ∈ A ∧ b ∈ B \}$]. The first coordinate comes from the first set and the second coordinate comes from the second set. Sometimes we will want to take the Cartesian product of a set with itself, and this is fine: #math.equation(block: false, alt: "A times A equals open brace open parenthesis a , b close parenthesis : a , b ∈ A close brace")[$A × A = \{ ( a , b ) : a , b ∈ A \}$] (we might also write #math.equation(block: false, alt: "A squared")[$A^(2)$] for this set). Notice that in #math.equation(block: false, alt: "A times A")[$A × A$], we still want #emph[all] ordered pairs, not just the ones where the first and second coordinate are the same. We can also take products of 3 or more sets, getting ordered triples, or quadruples, and so on. #examplebox("Example 8")[][ Let #math.equation(block: false, alt: "A equals open brace 1 , 2 close brace")[$A = \{ 1 , 2 \}$] and #math.equation(block: false, alt: "B equals open brace 3 , 4 , 5 close brace")[$B = \{ 3 , 4 , 5 \}$]. Find #math.equation(block: false, alt: "A times B")[$A × B$] and #math.equation(block: false, alt: "A times A")[$A × A$]. How many elements do you expect to be in #math.equation(block: false, alt: "B times B")[$B × B$]? #solutionbox[ #math.equation(block: true, alt: "A times B equals open brace open parenthesis 1 , 3 close parenthesis , open parenthesis 1 , 4 close parenthesis , open parenthesis 1 , 5 close parenthesis , open parenthesis 2 , 3 close parenthesis , open parenthesis 2 , 4 close parenthesis , open parenthesis 2 , 5 close parenthesis close brace")[$A × B = \{ ( 1 , 3 ) , ( 1 , 4 ) , ( 1 , 5 ) , ( 2 , 3 ) , ( 2 , 4 ) , ( 2 , 5 ) \}$]. #math.equation(block: true, alt: "A times A equals A squared equals open brace open parenthesis 1 , 1 close parenthesis , open parenthesis 1 , 2 close parenthesis , open parenthesis 2 , 1 close parenthesis , open parenthesis 2 , 2 close parenthesis close brace")[$A × A = A^(2) = \{ ( 1 , 1 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 2 , 2 ) \}$]. #math.equation(block: false, alt: "vertical bar B times B vertical bar equals 9")[$| B × B | = 9$]. There will be 3 pairs with first coordinate #math.equation(block: false, alt: "3")[$3$], three more with first coordinate #math.equation(block: false, alt: "4")[$4$], and a final three with first coordinate #math.equation(block: false, alt: "5")[$5$]. ] ] === Venn Diagrams There is a very nice visual tool we can use to represent operations on sets. A #strong[Venn diagram] displays sets as intersecting circles. We can shade the region we are talking about when we carry out an operation. We can also represent cardinality of a particular set by putting the number in the corresponding region. #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B.", caption: none) #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, the circle labeled C is in the bottom center. The circles intersect to create seven interior regions: one inside all circles, three inside just a pair of circles, and three inside only one circle.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, the circle labeled C is in the bottom center. The circles intersect to create seven interior regions: one inside all circles, three inside just a pair of circles, and three inside only one circle.", caption: none) Each circle represents a set. The rectangle containing the circles represents the universe. To represent combinations of these sets, we shade the corresponding region. For example, we could draw #math.equation(block: false, alt: "A intersection B")[$A ∩ B$] as: #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The overlapping region inside both circles is shaded light gray.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The overlapping region inside both circles is shaded light gray.", caption: none) Here is a representation of #math.equation(block: false, alt: "A intersection B bar")[$A ∩ limits(B)^(―)$], or equivalently #math.equation(block: false, alt: "A ∖ B")[$A ∖ B$]: #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The region inside circle A but outside circle B is shaded light gray.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The region inside circle A but outside circle B is shaded light gray.", caption: none) A more complicated example is #math.equation(block: false, alt: "open parenthesis B intersection C close parenthesis union open parenthesis C intersection A bar close parenthesis")[$( B ∩ C ) ∪ ( C ∩ limits(A)^(―) )$], as seen below. #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, the circle labeled C is in the bottom center. The circles intersect to create seven interior regions: one inside all circles, three inside just a pair of circles, and three inside only one circle. Three of the seven regions are shaded light gray: the region in C alone, the region in just C and B, and the center region in all three circles.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, the circle labeled C is in the bottom center. The circles intersect to create seven interior regions: one inside all circles, three inside just a pair of circles, and three inside only one circle. Three of the seven regions are shaded light gray: the region in C alone, the region in just C and B, and the center region in all three circles.", caption: none) Notice that the shaded regions above could also be arrived at in another way. We could have started with all of #math.equation(block: false, alt: "C")[$C$], then excluded the region where #math.equation(block: false, alt: "C")[$C$] and #math.equation(block: false, alt: "A")[$A$] overlap outside of #math.equation(block: false, alt: "B")[$B$]. That region is #math.equation(block: false, alt: "open parenthesis A intersection C close parenthesis intersection B bar")[$( A ∩ C ) ∩ limits(B)^(―)$]. So the above Venn diagram also represents #math.equation(block: false, alt: "C intersection open parenthesis open parenthesis A intersection C close parenthesis intersection B bar close parenthesis bar")[$C ∩ limits(( ( A ∩ C ) ∩ limits(B)^(―) ))^(―)$]. So using just the picture, we have determined that #math.equation(block: true, alt: "open parenthesis B intersection C close parenthesis union open parenthesis C intersection A bar close parenthesis equals C intersection open parenthesis open parenthesis A intersection C close parenthesis intersection B bar close parenthesis bar")[$( B ∩ C ) ∪ ( C ∩ limits(A)^(―) ) = C ∩ limits(( ( A ∩ C ) ∩ limits(B)^(―) ))^(―)$] . Let #math.equation(block: false, alt: "A equals open brace x ∈ N : 3 less than or equal to x less than or equal to 13 close brace")[$A = \{ x ∈ N : 3 ≤ x ≤ 13 \}$], #math.equation(block: false, alt: "B equals open brace x ∈ N : x is even close brace")[$B = \{ x ∈ N : x " is even" \}$], and #math.equation(block: false, alt: "C equals open brace x ∈ N : x is odd close brace")[$C = \{ x ∈ N : x " is odd" \}$]. + Find #math.equation(block: false, alt: "A intersection B")[$A ∩ B$]. + Find #math.equation(block: false, alt: "A union B")[$A ∪ B$]. + Find #math.equation(block: false, alt: "B intersection C")[$B ∩ C$]. + Find #math.equation(block: false, alt: "B union C")[$B ∪ C$]. Find an example of sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] such that #math.equation(block: false, alt: "A intersection B equals open brace 3 , 5 close brace")[$A ∩ B = \{ 3 , 5 \}$] and #math.equation(block: false, alt: "A union B equals open brace 2 , 3 , 5 , 7 , 8 close brace")[$A ∪ B = \{ 2 , 3 , 5 , 7 , 8 \}$]. #solutionbox[ For example, #math.equation(block: false, alt: "A equals open brace 2 , 3 , 5 , 7 , 8 close brace")[$A = \{ 2 , 3 , 5 , 7 , 8 \}$] and #math.equation(block: false, alt: "B equals open brace 3 , 5 close brace")[$B = \{ 3 , 5 \}$] . ] Find an example of sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] such that #math.equation(block: false, alt: "A ⊆ B")[$A ⊆ B$] and #math.equation(block: false, alt: "A ∈ B")[$A ∈ B$]. #solutionbox[ For example, #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 close brace")[$A = \{ 1 , 2 , 3 \}$] and #math.equation(block: false, alt: "B equals open brace 1 , 2 , 3 , 4 , 5 , open brace 1 , 2 , 3 close brace close brace")[$B = \{ 1 , 2 , 3 , 4 , 5 , \{ 1 , 2 , 3 \} \}$] ] Recall #math.equation(block: false, alt: "Z equals open brace and so on , minus 2 , minus 1 , 0 , 1 , 2 , and so on close brace")[$Z = \{ … , − 2 , − 1 , 0 , 1 , 2 , … \}$] (the integers). Let #math.equation(block: false, alt: "Z to the power plus equals open brace 1 , 2 , 3 , and so on close brace")[$Z^(+) = \{ 1 , 2 , 3 , … \}$] be the positive integers. Let #math.equation(block: false, alt: "2 Z")[$2 Z$] be the even integers, #math.equation(block: false, alt: "3 Z")[$3 Z$] be the multiples of 3, and so on. + Is #math.equation(block: false, alt: "Z to the power plus ⊆ 2 Z")[$Z^(+) ⊆ 2 Z$]? Explain. + Is #math.equation(block: false, alt: "2 Z ⊆ Z to the power plus")[$2 Z ⊆ Z^(+)$]? Explain. + Find #math.equation(block: false, alt: "2 Z intersection 3 Z")[$2 Z ∩ 3 Z$]. Describe the set in words, and using set notation. + Express #math.equation(block: false, alt: "open brace x ∈ Z : ∃ y ∈ Z open parenthesis x equals 2 y ∨ x equals 3 y close parenthesis close brace")[$\{ x ∈ Z : upright(∃) y ∈ Z ( x = 2 y ∨ x = 3 y ) \}$] as a union or intersection of two sets already described in this problem. #solutionbox[ + No. + No. + #math.equation(block: false, alt: "2 Z intersection 3 Z")[$2 Z ∩ 3 Z$] is the set of all integers which are multiples of both 2 and 3 (so multiples of 6). Therefore #math.equation(block: false, alt: "2 Z intersection 3 Z equals open brace x ∈ Z : ∃ y ∈ Z open parenthesis x equals 6 y close parenthesis close brace")[$2 Z ∩ 3 Z = \{ x ∈ Z : upright(∃) y ∈ Z ( x = 6 y ) \}$]. + #math.equation(block: false, alt: "2 Z union 3 Z")[$2 Z ∪ 3 Z$]. ] Let #math.equation(block: false, alt: "A sub 2")[$A_(2)$] be the set of all multiples of 2 except for #math.equation(block: false, alt: "2")[$2$]. Let #math.equation(block: false, alt: "A sub 3")[$A_(3)$] be the set of all multiples of 3 except for 3. And so on, so that #math.equation(block: false, alt: "A sub n")[$A_(n)$] is the set of all multiples of #math.equation(block: false, alt: "n")[$n$] except for #math.equation(block: false, alt: "n")[$n$], for any #math.equation(block: false, alt: "n greater than or equal to 2")[$n ≥ 2$]. Describe (in words) the set #math.equation(block: false, alt: "A sub 2 union A sub 3 union A sub 4 union ⋯ bar")[$limits(A_(2) ∪ A_(3) ∪ A_(4) ∪ ⋯)^(―)$]. It might help to think about what the union #math.equation(block: false, alt: "A sub 2 union A sub 3")[$A_(2) ∪ A_(3)$] is first. Then think about what numbers are #emph[not] in that union. What will happen when you also include #math.equation(block: false, alt: "A sub 5")[$A_(5)$]? Draw a Venn diagram to represent each of the following: + #math.equation(block: false, alt: "A union B bar")[$A ∪ limits(B)^(―)$] + #math.equation(block: false, alt: "open parenthesis A union B close parenthesis bar")[$limits(( A ∪ B ))^(―)$] + #math.equation(block: false, alt: "A intersection open parenthesis B union C close parenthesis")[$A ∩ ( B ∪ C )$] + #math.equation(block: false, alt: "open parenthesis A intersection B close parenthesis union C")[$( A ∩ B ) ∪ C$] + #math.equation(block: false, alt: "A bar intersection B intersection C bar")[$limits(A)^(―) ∩ B ∩ limits(C)^(―)$] + #math.equation(block: false, alt: "open parenthesis A union B close parenthesis ∖ C")[$( A ∪ B ) ∖ C$] #solutionbox[ + #math.equation(block: false, alt: "A union B bar")[$A ∪ limits(B)^(―)$]: #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. All of circle A is shaded light gray, and so is the part of the box lying outside both circles; only the part of circle B outside circle A is left white.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. All of circle A is shaded light gray, and so is the part of the box lying outside both circles; only the part of circle B outside circle A is left white.", caption: none) + #math.equation(block: false, alt: "open parenthesis A union B close parenthesis bar")[$limits(( A ∪ B ))^(―)$]: #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. Both circles are left entirely white; only the part of the box lying outside both circles is shaded light gray.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. Both circles are left entirely white; only the part of the box lying outside both circles is shaded light gray.", caption: none) + #math.equation(block: false, alt: "A intersection open parenthesis B union C close parenthesis")[$A ∩ ( B ∪ C )$]: #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. Three of the seven interior regions are shaded light gray, all of them inside circle A: the region it shares with circle B alone, the region it shares with circle C alone, and the central region common to all three circles. The rest of the figure is white.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. Three of the seven interior regions are shaded light gray, all of them inside circle A: the region it shares with circle B alone, the region it shares with circle C alone, and the central region common to all three circles. The rest of the figure is white.", caption: none) + #math.equation(block: false, alt: "open parenthesis A intersection B close parenthesis union C")[$( A ∩ B ) ∪ C$]: #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. All of circle C is shaded light gray, together with the lens above it where circles A and B overlap outside circle C. The parts of circles A and B lying outside both that lens and circle C are white, as is the area outside the circles.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. All of circle C is shaded light gray, together with the lens above it where circles A and B overlap outside circle C. The parts of circles A and B lying outside both that lens and circle C are white, as is the area outside the circles.", caption: none) + #math.equation(block: false, alt: "A bar intersection B intersection C bar")[$limits(A)^(―) ∩ B ∩ limits(C)^(―)$]: #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. Exactly one of the seven interior regions is shaded light gray: the crescent of circle B that lies outside circle A and outside circle C. Every other region, including the rest of circle B, is left white.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. Exactly one of the seven interior regions is shaded light gray: the crescent of circle B that lies outside circle A and outside circle C. Every other region, including the rest of circle B, is left white.", caption: none) + #math.equation(block: false, alt: "open parenthesis A union B close parenthesis ∖ C")[$( A ∪ B ) ∖ C$]: #figure(figph[Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. The parts of circles A and B that lie outside circle C are shaded light gray, including the lens where A and B overlap above circle C. Every region inside circle C is left white, as is the area outside the circles.], alt: "Three overlapping circles enclosed in a rectangle. The circle labeled A is in the top left, the circle labeled B is in the top right, and the circle labeled C is at the bottom center. The parts of circles A and B that lie outside circle C are shaded light gray, including the lens where A and B overlap above circle C. Every region inside circle C is left white, as is the area outside the circles.", caption: none) ] Describe a set in terms of #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] (using set notation) which has the following Venn diagram: #figure(figph[Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The part of circle A outside circle B and the part of circle B outside circle A are both shaded light gray; the lens where the two circles overlap is left white, as is the part of the box outside both circles.], alt: "Two overlapping circles enclosed in a rectangular box. Circles labeled A and B. The part of circle A outside circle B and the part of circle B outside circle A are both shaded light gray; the lens where the two circles overlap is left white, as is the part of the box outside both circles.", caption: none) Let #math.equation(block: false, alt: "A equals open brace a , b , c , d close brace")[$A = \{ a , b , c , d \}$]. Find #math.equation(block: false, alt: "P open parenthesis A close parenthesis")[$P ( A )$]. We are looking for a set containing 16 sets. #solutionbox[ #math.equation(block: true, alt: "P open parenthesis A close parenthesis equals open brace, ∅ , open brace a close brace , open brace b close brace , open brace c close brace , open brace d close brace , open brace a , b close brace , open brace a , c close brace , open brace a , d close brace , open brace b , c close brace , open brace b , d close brace ,; open brace c , d close brace open brace a , b , c close brace , open brace a , b , d close brace , open brace a , c , d close brace , open brace b , c , d close brace , open brace a , b , c , d close brace close brace")[$P ( A ) = \{ & upright(∅) , \{ a \} , \{ b \} , \{ c \} , \{ d \} , \{ a , b \} , \{ a , c \} , \{ a , d \} , \{ b , c \} , \{ b , d \} , \ & \{ c , d \} \{ a , b , c \} , \{ a , b , d \} , \{ a , c , d \} , \{ b , c , d \} , \{ a , b , c , d \} \}$] . ] Let #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 , 4 , 5 , 6 close brace")[$A = \{ 1 , 2 , 3 , 4 , 5 , 6 \}$]. Find all sets #math.equation(block: false, alt: "B ∈ P open parenthesis A close parenthesis")[$B ∈ P ( A )$] which have the property #math.equation(block: false, alt: "open brace 2 , 3 , 5 close brace ⊆ B")[$\{ 2 , 3 , 5 \} ⊆ B$]. Find an example of sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] such that #math.equation(block: false, alt: "vertical bar A vertical bar equals 4")[$| A | = 4$], #math.equation(block: false, alt: "vertical bar B vertical bar equals 5")[$| B | = 5$], and #math.equation(block: false, alt: "vertical bar A union B vertical bar equals 9")[$| A ∪ B | = 9$]. #solutionbox[ For example, #math.equation(block: false, alt: "A equals open brace 1 , 2 , 3 , 4 close brace")[$A = \{ 1 , 2 , 3 , 4 \}$] and #math.equation(block: false, alt: "B equals open brace 5 , 6 , 7 , 8 , 9 close brace")[$B = \{ 5 , 6 , 7 , 8 , 9 \}$] gives #math.equation(block: false, alt: "A union B equals open brace 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 close brace")[$A ∪ B = \{ 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 \}$]. ] Find an example of sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] such that #math.equation(block: false, alt: "vertical bar A vertical bar equals 3")[$| A | = 3$], #math.equation(block: false, alt: "vertical bar B vertical bar equals 4")[$| B | = 4$], and #math.equation(block: false, alt: "vertical bar A union B vertical bar equals 5")[$| A ∪ B | = 5$]. Are there sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] such that #math.equation(block: false, alt: "vertical bar A vertical bar equals vertical bar B vertical bar")[$| A | = | B |$], #math.equation(block: false, alt: "vertical bar A union B vertical bar equals 10")[$| A ∪ B | = 10$], and #math.equation(block: false, alt: "vertical bar A intersection B vertical bar equals 5")[$| A ∩ B | = 5$]? Explain. Let #math.equation(block: false, alt: "A equals open brace 2 , 4 , 6 , 8 close brace")[$A = \{ 2 , 4 , 6 , 8 \}$]. Suppose #math.equation(block: false, alt: "B")[$B$] is a set with #math.equation(block: false, alt: "vertical bar B vertical bar equals 5")[$| B | = 5$]. + What are the smallest and largest possible values of #math.equation(block: false, alt: "vertical bar A union B vertical bar")[$| A ∪ B |$]? Explain. \_\_\_\_\_ #math.equation(block: false, alt: "less than or equal to vertical bar A union B vertical bar less than or equal to")[$≤ | A ∪ B | ≤$] \_\_\_\_\_ + What are the smallest and largest possible values of #math.equation(block: false, alt: "vertical bar A intersection B vertical bar")[$| A ∩ B |$]? Explain. \_\_\_\_\_ #math.equation(block: false, alt: "less than or equal to vertical bar A intersection B vertical bar less than or equal to")[$≤ | A ∩ B | ≤$] \_\_\_\_\_ + What are the smallest and largest possible values of #math.equation(block: false, alt: "vertical bar A times B vertical bar")[$| A × B |$]? Explain. \_\_\_\_\_ #math.equation(block: false, alt: "less than or equal to vertical bar A times B vertical bar less than or equal to")[$≤ | A × B | ≤$] \_\_\_\_\_ Let #math.equation(block: false, alt: "X equals open brace n ∈ N : 10 less than or equal to n less than 20 close brace")[$X = \{ n ∈ N : 10 ≤ n < 20 \}$]. Find examples of sets with the properties below and very briefly explain why your examples work. + A set #math.equation(block: false, alt: "A ⊆ N")[$A ⊆ N$] with #math.equation(block: false, alt: "vertical bar A vertical bar equals 10")[$| A | = 10$] such that #math.equation(block: false, alt: "X ∖ A equals open brace 10 , 12 , 14 close brace")[$X ∖ A = \{ 10 , 12 , 14 \}$]. + A set #math.equation(block: false, alt: "B ∈ P open parenthesis X close parenthesis")[$B ∈ P ( X )$] with #math.equation(block: false, alt: "vertical bar B vertical bar equals 5")[$| B | = 5$]. + A set #math.equation(block: false, alt: "C ⊆ P open parenthesis X close parenthesis")[$C ⊆ P ( X )$] with #math.equation(block: false, alt: "vertical bar C vertical bar equals 5")[$| C | = 5$]. + A set #math.equation(block: false, alt: "D ⊆ X times X")[$D ⊆ X × X$] with #math.equation(block: false, alt: "vertical bar D vertical bar equals 5")[$| D | = 5$] + A set #math.equation(block: false, alt: "E ⊆ X")[$E ⊆ X$] such that #math.equation(block: false, alt: "vertical bar E vertical bar ∈ E")[$| E | ∈ E$]. Let #math.equation(block: false, alt: "A")[$A$], #math.equation(block: false, alt: "B")[$B$] and #math.equation(block: false, alt: "C")[$C$] be sets. + Suppose that #math.equation(block: false, alt: "A ⊆ B")[$A ⊆ B$] and #math.equation(block: false, alt: "B ⊆ C")[$B ⊆ C$]. Does this mean that #math.equation(block: false, alt: "A ⊆ C")[$A ⊆ C$]? Prove your answer. Hint: to prove that #math.equation(block: false, alt: "A ⊆ C")[$A ⊆ C$] you must prove the implication, “for all #math.equation(block: false, alt: "x")[$x$], if #math.equation(block: false, alt: "x ∈ A")[$x ∈ A$] then #math.equation(block: false, alt: "x ∈ C")[$x ∈ C$].” + Suppose that #math.equation(block: false, alt: "A ∈ B")[$A ∈ B$] and #math.equation(block: false, alt: "B ∈ C")[$B ∈ C$]. Does this mean that #math.equation(block: false, alt: "A ∈ C")[$A ∈ C$]? Give an example to prove that this does NOT always happen (and explain why your example works). You should be able to give an example where #math.equation(block: false, alt: "vertical bar A vertical bar equals vertical bar B vertical bar equals vertical bar C vertical bar equals 2")[$| A | = | B | = | C | = 2$]. In a regular deck of playing cards there are 26 red cards and 12 face cards. Explain, using sets and what you have learned about cardinalities, why there are only 32 cards which are either red or a face card. Find an example of a set #math.equation(block: false, alt: "A")[$A$] with #math.equation(block: false, alt: "vertical bar A vertical bar equals 3")[$| A | = 3$] which contains only other sets and has the following property: for all sets #math.equation(block: false, alt: "B ∈ A")[$B ∈ A$], we also have #math.equation(block: false, alt: "B ⊆ A")[$B ⊆ A$]. Explain why your example works. (FYI: sets that have this property are called #strong[transitive].) Consider the sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$], where #math.equation(block: false, alt: "A equals open brace 3 , vertical bar B vertical bar close brace")[$A = \{ 3 , | B | \}$] and #math.equation(block: false, alt: "B equals open brace 1 , vertical bar A vertical bar , vertical bar B vertical bar close brace")[$B = \{ 1 , | A | , | B | \}$]. What are the sets? #solutionbox[ We need to be a little careful here. If #math.equation(block: false, alt: "B")[$B$] contains 3 elements, then #math.equation(block: false, alt: "A")[$A$] contains just the number 3 (listed twice). So that would make #math.equation(block: false, alt: "vertical bar A vertical bar equals 1")[$| A | = 1$], which would make #math.equation(block: false, alt: "B equals open brace 1 , 3 close brace")[$B = \{ 1 , 3 \}$], which only has 2 elements. Thus #math.equation(block: false, alt: "vertical bar B vertical bar not equal to 3")[$| B | ≠ 3$]. This means that #math.equation(block: false, alt: "vertical bar A vertical bar equals 2")[$| A | = 2$], so #math.equation(block: false, alt: "B")[$B$] contains at least the elements 1 and 2. Since #math.equation(block: false, alt: "vertical bar B vertical bar not equal to 3")[$| B | ≠ 3$], we must have #math.equation(block: false, alt: "vertical bar B vertical bar equals 2")[$| B | = 2$], which agrees with the definition of #math.equation(block: false, alt: "B")[$B$]. Therefore it must be that #math.equation(block: false, alt: "A equals open brace 2 , 3 close brace")[$A = \{ 2 , 3 \}$] and #math.equation(block: false, alt: "B equals open brace 1 , 2 close brace")[$B = \{ 1 , 2 \}$] ] Explain why there is no set #math.equation(block: false, alt: "A")[$A$] which satisfies #math.equation(block: false, alt: "A equals open brace 2 , vertical bar A vertical bar close brace")[$A = \{ 2 , | A | \}$]. It looks like you should be able to define the set #math.equation(block: false, alt: "A")[$A$] like this. But consider the two possible values for #math.equation(block: false, alt: "vertical bar A vertical bar")[$| A |$]. Find all sets #math.equation(block: false, alt: "A")[$A$], #math.equation(block: false, alt: "B")[$B$], and #math.equation(block: false, alt: "C")[$C$] which satisfy the following. #math.equation(block: true, alt: "A equals, open brace 1 , vertical bar B vertical bar , vertical bar C vertical bar close brace; B equals, open brace 2 , vertical bar A vertical bar , vertical bar C vertical bar close brace; C equals, open brace 1 , 2 , vertical bar A vertical bar , vertical bar B vertical bar close brace")[$A = & \{ 1 , | B | , | C | \} \ B = & \{ 2 , | A | , | C | \} \ C = & \{ 1 , 2 , | A | , | B | \}$] .