# 1.6: Set Operations with Three Sets

- Page ID
- 129499

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)### Learning Objectives

After completing this section, you should be able to:

- Interpret Venn diagrams with three sets.
- Create Venn diagrams with three sets.
- Apply set operations to three sets.
- Prove equality of sets using Venn diagrams.

Have you ever searched for something on the Internet and then soon after started seeing multiple advertisements for that item while browsing other web pages? Large corporations have built their business on data collection and analysis. As we start working with larger data sets, the analysis becomes more complex. In this section, we will extend our knowledge of set relationships by including a third set.

A Venn diagram with two intersecting sets breaks up the universal set into four regions; simply adding one additional set will increase the number of regions to eight, doubling the complexity of the problem.

### Venn Diagrams with Three Sets

Below is a Venn diagram with two intersecting sets, which breaks the universal set up into four distinct regions.

Next, we see a Venn diagram with three intersecting sets, which breaks up the universal set into eight distinct regions.

### Tech Check

#### Shading Venn Diagrams

Venn Diagram is an Android application that allows you to visualize how the sets are related in a Venn diagram by entering expressions and displaying the resulting Venn diagram of the set shaded in gray.

The Venn Diagram application uses some notation that differs from the notation covered in this text.

- The complement of set $A$ in this text is written symbolically as ${A}^{\prime}$, but the Venn Diagram app uses ${A}^{C}$ to represent the complement operation.
- The set difference operation, $-$, is available in the Venn Diagram app, although this operation is not covered in the text.

It is recommended that you explore this application to expand your knowledge of Venn diagrams prior to continuing with the next example.

In the next example, we will explore the three main blood factors, A, B and Rh. The following background information about blood types will help explain the relationships between the sets of blood factors. If an individual has blood factor A or B, those will be included in their blood type. The Rh factor is indicated with a $+$ or a $-$. For example, if a person has all three blood factors, then their blood type would be ${\mathrm{AB}}^{+}$. In the Venn diagram, they would be in the intersection of all three sets, $A\cap B\cap R{h}^{+}.$ If a person did not have any of these three blood factors, then their blood type would be ${\mathrm{O}}^{-},$ and they would be in the set ${\left(A\cup B\cup R{h}^{+}\right)}^{\prime}$ which is the region outside all three circles.

### Example 1.35

#### Interpreting a Venn Diagram with Three Sets

Use the Venn diagram below, which shows the blood types of 100 people who donated blood at a local clinic, to answer the following questions.

**Answer**- The number of people who donated blood with a type A blood factor will include the sum of all the values included in the A circle. It will be the union of sets ${A}^{-},{A}^{+},A{B}^{-}\phantom{\rule{0.28em}{0ex}}\text{and}\phantom{\rule{0.28em}{0ex}}A{B}^{}{+}^{}.$ $n(A)=n({A}^{-})+n({A}^{+})+n(A{B}^{-})+n(A{B}^{+})=6+36+1+3=46.$
- In part 1, it was determined that the number of donors with a type A blood factor is 46. To determine the number of people who did not have a type A blood factor, use the following property, ${A}^{\prime}$ union is equal to $U$, which means $n(A)+n({A}^{\prime})=n(U),$ and $n({A}^{\prime})=n(U)-n(A)=100-46=54.$ Thus, 54 people donated blood that Julio can accept.
- This would be everyone outside the ${\mathrm{Rh}}^{+}$ circle, or everyone with a negative Rh factor, $n(R{h}^{-})=n({O}^{-})+n({A}^{-})+n(A{B}^{-})+n({B}^{-})=7+6+1+2=16.$
- To have both blood type A and blood type B, a person would need to be in the intersection of sets $A$ and $B$. The two circles overlap in the regions labeled $A{B}^{-}$ and $A{B}^{+}.$ Add up the number of people in these two regions to get the total: $1+3=4.$ This can be written symbolically as $n(A\phantom{\rule{0.28em}{0ex}}\text{and}\phantom{\rule{0.28em}{0ex}}B)=n(A\cap B)=n(A{B}^{-})+n(A{B}^{+})=1+3=4.$

### Your Turn 1.35

^{+}?

### Who Knew?

#### Blood Types

Most people know their main blood type of A, B, AB, or O and whether they are $\mathrm{R}{\mathrm{h}}^{+}$ or $\mathrm{R}{\mathrm{h}}^{-}$, but did you know that the International Society of Blood Transfusion recognizes twenty-eight additional blood types that have important implications for organ transplants and successful pregnancy? For more information, check out this article:

Blood mystery solved: Two new blood types identified

### Creating Venn Diagrams with Three Sets

In general, when creating Venn diagrams from data involving three subsets of a universal set, the strategy is to work from the inside out. Start with the intersection of the three sets, then address the regions that involve the intersection of two sets. Next, complete the regions that involve a single set, and finally address the region in the universal set that does not intersect with any of the three sets. This method can be extended to any number of sets. The key is to start with the region involving the most overlap, working your way from the center out.

### Example 1.36

#### Creating a Venn Diagram with Three Sets

A teacher surveyed her class of 43 students to find out how they prepared for their last test. She found that 24 students made flash cards, 14 studied their notes, and 27 completed the review assignment. Of the entire class of 43 students, 12 completed the review and made flash cards, nine completed the review and studied their notes, and seven made flash cards and studied their notes, while only five students completed all three of these tasks. The remaining students did not do any of these tasks. Create a Venn diagram with subsets labeled: “Notes,” “Flash Cards,” and “Review” to represent how the students prepared for the test.

**Answer****Step 1:**First, draw a Venn diagram with three intersecting circles to represent the three intersecting sets: Notes, Flash Cards, and Review. Label the universal set with the cardinality of the class.

**Step 2:** Next, in the region where all three sets intersect, enter the number of students who completed all three tasks.

**Step 3:** Next, calculate the value and label the three sections where just two sets overlap.

**Review and flash card overlap**. A total of 12 students completed the review and made flash cards, but five of these twelve students did all three tasks, so we need to subtract: $12-5=7$. This is the value for the region where the flash card set intersects with the review set.**Review and notes overlap**. A total of 9 students completed the review and studied their notes, but again, five of these nine students completed all three tasks. So, we subtract: $9-5=4$. This is the value for the region where the review set intersects with the notes set.**Flash card and notes overlap**. A total of 7 students made flash cards and studied their notes; subtracting the five students that did all three tasks from this number leaves 2 students who only studied their notes and made flash cards. Add these values to the Venn diagram.

**Step 4:** Now, repeat this process to find the number of students who only completed one of these three tasks.

- A total of 24 students completed flash cards, but we have already accounted for $2+5+7=14$ of these. Thus, $24-14=10$ students who just made flash cards.
- A total of 14 students studied their notes, but we have already accounted for $4+5+2=11$ of these. Thus, $14-11=3$ students only studied their notes.
- A total of 27 students completed the review assignment, but we have already accounted for $4+5+7=16$ of these, which means $27-16=11$ students only completed the review assignment.
- Add these values to the Venn diagram.

**Step 5:** Finally, compute how many students did not do any of these three tasks. To do this, we add together each value that we have already calculated for the separate and intersecting sections of our three sets: $3+2+4+5+10+7+11=42$. Because there 43 students in the class, and $43-42=1$, this means only one student did not complete any of these tasks to prepare for the test. Record this value somewhere in the rectangle, but outside of all the circles, to complete the Venn diagram.

### Your Turn 1.36

### Applying Set Operations to Three Sets

Set operations are applied between two sets at a time. Parentheses indicate which operation should be performed first. As with numbers, the inner most parentheses are applied first. Next, find the complement of any sets, then perform any union or intersections that remain.

### Example 1.37

#### Applying Set Operations to Three Sets

Perform the set operations as indicated on the following sets: $U=\{0,1,2,3,4,5,6,7,8,9,10,11,12\}$, $A=\{0,1,2,3,4,5,6\},$ $B=\{0,2,4,6,8,10,12\},$ and $C=\{0,3,6,9,12\}.$

- Find $(A\cap B)\cap C.$
- Find $A\cap (B\cup C).$
- Find $(A\cap B)\cup {C}^{\prime}.$

**Answer**- Parentheses first, $A$ intersection $B$ equals $A\cap B=\{0,2,4,6\},$ the elements common to both $A$ and $B$. $(A\cap B)\cap C=\{0,2,4,6\}\cap \{0,3,6,9,12\}=\{0,6\},$ because the only elements that are in both sets are 0 and 6.
- Parentheses first, $B$ union $C$ equals $B\cup C=\{0,2,3,4,6,8,9,10,12\},$ the collection of all elements in set $B$ or set $C$ or both. $A\cap (B\cup C)=\{0,1,2,3,4,5,6\}\cap \{0,2,3,4,6,8,9,10,12\}=\{0,2,3,4,6\},$ because the intersection of these two sets is the set of elements that are common to both sets.
- Parentheses first, $A$ intersection $B$ equals $A\cap B=\{0,2,4,6\}.$ Next, find ${C}^{\prime}.$ The complement of set $C$ is the set of elements in the universal set $U$ that are not in set $C.$ ${C}^{\prime}=\{1,2,4,5,7,8,10,11\}.$ Finally, find $(A\cap B)\cup {C}^{\prime}=\{0,2,4,6\}\cup \{1,2,4,5,7,8,10,11\}=\{0,1,2,4,5,6,7,8,10,11\}.$

### Your Turn 1.37

Using the same sets from Example 1.37, perform the set operations indicated.

Notice that the answers to the Your Turn are the same as those in the Example. This is not a coincidence. The following equivalences hold true for sets:

- $A\cap (B\cap C)=(A\cap B)\cap C$ and $A\cup (B\cup C)=(A\cup B)\cup C.$ These are the associative property for set intersection and set union.
- $A\cap B=B\cap A$ and $A\cup B=B\cup A.$ These are the commutative property for set intersection and set union.
- $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$ and $A\cup (B\cap C)=(A\cup B)\cap (A\cup C).$ These are the distributive property for sets over union and intersection, respectively.

### Proving Equality of Sets Using Venn Diagrams

To prove set equality using Venn diagrams, the strategy is to draw a Venn diagram to represent each side of the equality, then look at the resulting diagrams to see if the regions under consideration are identical.

Augustus De Morgan was an English mathematician known for his contributions to set theory and logic. De Morgan’s law for set complement over union states that $(A\cup B{)}^{\prime}={A}^{\prime}\cap {B}^{\prime}$. In the next example, we will use Venn diagrams to prove De Morgan’s law for set complement over union is true. But before we begin, let us confirm De Morgan’s law works for a specific example. While showing something is true for one specific example is not a proof, it will provide us with some reason to believe that it may be true for all cases.

Let $U=\{1,2,3,4,5,6,7\},$ $A=\{2,3,4\},$ and $B=\{3,4,5,6\}.$ We will use these sets in the equation $(A\cup B{)}^{\prime}={A}^{\prime}\cap {B}^{\prime}.$ To begin, find the value of the set defined by each side of the equation.

**Step 1:** $A\cup B$ is the collection of all unique elements in set $A$ or set $B$ or both. $A\cup B=\{2,3,4,5,6\}.$ The complement of *A* union *B*, ${\left(A\cup B\right)}^{\prime}$, is the set of all elements in the universal set that are not in $A\cup B$. So, the left side the equation ${\left(A\cup B\right)}^{\prime}$ is equal to the set $\{1,7\}.$

**Step 2:** The right side of the equation is ${A}^{\prime}\cap {B}^{\prime}.$ ${A}^{\prime}$ is the set of all members of the universal set $U$ that are not in set $A$. ${A}^{\prime}=\{1,5,6,7\}.$ Similarly, $B\prime =\{1,2,7\}.$

**Step 3:** Finally, ${A}^{\prime}\cap {B}^{\prime}$ is the set of all elements that are in both ${A}^{\prime}$ and ${B}^{\prime}.$ The numbers 1 and 7 are common to both sets, therefore, ${A}^{\prime}\cap {B}^{\prime}=\{1,7\}.$ Because, $\{1,7\}=\{1,7\}$ we have demonstrated that De Morgan’s law for set complement over union works for this particular example. The Venn diagram below depicts this relationship.

### Example 1.38

#### Proving De Morgan’s Law for Set Complement over Union Using a Venn Diagram

De Morgan’s Law for the complement of the union of two sets $A$ and $B$ states that: $(A\cup B{)}^{\prime}={A}^{\prime}\cap {B}^{\prime}.$ Use a Venn diagram to prove that De Morgan’s Law is true.

**Answer****Step 1:**First, draw a Venn diagram representing the left side of the equality. The regions of interest are shaded to highlight the sets of interest. $A\cup B$ is shaded on the left, and ${\left(A\cup B\right)}^{\prime}$ is shaded on the right.

**Step 2:** Next, draw a Venn diagram to represent the right side of the equation. ${A}^{\prime}$ is shaded and ${B}^{\prime}$ is shaded. Because ${A}^{\prime}$ and ${B}^{\prime}$ mix to form ${A}^{\prime}\cap {B}^{\prime}$ is also shaded.

**Step 3:** Verify the conclusion. Because the shaded region in the Venn diagram for $(A\cup B{)}^{\prime}$ matches the shaded region in the Venn diagram for ${A}^{\prime}\cap B\text{'}$, the two sides of the equation are equal, and the statement is true. This completes the proof that De Morgan’s law is valid.

### Your Turn 1.38

### Check Your Understanding

### Section 1.5 Exercises

A gamers club at Baily Middle School consisting of 25 members was surveyed to find out who played board games, card games, or video games. Use the results depicted in the Venn diagram below to answer the following exercises.

A blood drive at City Honors High School recently collected blood from 140 students, staff, and faculty. Use the results depicted in the Venn diagram below to answer the following exercises.

For the following exercises, perform the set operations as indicated on the following sets: /**/U = \{ 20,21,22, \ldots ,29\} ,\,A = \{ 21,24,27\} ,\,B = \{ 20,22,24,28\}/**/, and /**/C = \{ 21,23,25,27\}/**/.