1.4: Understanding Venn Diagrams
- Page ID
- 129497
\( \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:
- Utilize a universal set with two sets to interpret a Venn diagram.
- Utilize a universal set with two sets to create a Venn diagram.
- Determine the complement of a set.
Have you ever ordered a new dresser or bookcase that required assembly? When your package arrives you excitedly open it and spread out the pieces. Then you check the assembly guide and verify that you have all the parts required to assemble your new dresser. Now, the work begins. Luckily for you, the assembly guide includes step-by-step instructions with images that show you how to put together your product. If you are really lucky, the manufacturer may even provide a URL or QR code connecting you to an online video that demonstrates the complete assembly process. We can likely all agree that assembly instructions are much easier to follow when they include images or videos, rather than just written directions. The same goes for the relationships between sets.
Interpreting Venn Diagrams
Venn diagrams are the graphical tools or pictures that we use to visualize and understand relationships between sets. Venn diagrams are named after the mathematician John Venn, who first popularized their use in the 1880s. When we use a Venn diagram to visualize the relationships between sets, the entire set of data under consideration is drawn as a rectangle, and subsets of this set are drawn as circles completely contained within the rectangle. The entire set of data under consideration is known as the universal set.
Consider the statement: All trees are plants. This statement expresses the relationship between the set of all plants and the set of all trees. Because every tree is a plant, the set of trees is a subset of the set of plants. To represent this relationship using a Venn diagram, the set of plants will be our universal set and the set of trees will be the subset. Recall that this relationship is expressed symbolically as: To create a Venn diagram, first we draw a rectangle and label the universal set “” Then we draw a circle within the universal set and label it with the word “Trees.”
This section will introduce how to interpret and construct Venn diagrams. In future sections, as we expand our knowledge of relationships between sets, we will also develop our knowledge and use of Venn diagrams to explore how multiple sets can be combined to form new sets.
Example 1.18
Interpreting the Relationship between Sets in a Venn Diagram
Write the relationship between the sets in the following Venn diagram, in words and symbolically.
- Answer
The set of terriers is a subset of the universal set of dogs. In other words, the Venn diagram depicts the relationship that all terriers are dogs. This is expressed symbolically as
Your Turn 1.18
So far, the only relationship we have been considering between two sets is the subset relationship, but sets can be related in other ways. Lions and tigers are both different types of cats, but no lions are tigers, and no tigers are lions. Because the set of all lions and the set of all tigers do not have any members in common, we call these two sets disjoint sets, or non-overlapping sets.
Two sets and are disjoint sets if they do not share any elements in common. That is, if is a member of set , then is not a member of set . If is a member of set , then is not a member of set . To represent the relationship between the set of all cats and the sets of lions and tigers using a Venn diagram, we draw the universal set of cats as a rectangle and then draw a circle for the set of lions and a separate circle for the set of tigers within the rectangle, ensuring that the two circles representing the set of lions and the set of tigers do not touch or overlap in any way.
Example 1.19
Describing the Relationship between Sets
Describe the relationship between the sets in the following Venn diagram.
- Answer
The set of triangles and the set of squares are two disjoint subsets of the universal set of two-dimensional figures. The set of triangles does not share any elements in common with the set of squares. No triangles are squares and no squares are triangles, but both squares and triangles are 2D figures.
Your Turn 1.19
Describe the relationship between the sets in the following Venn diagram.
Creating Venn Diagrams
The main purpose of a Venn diagram is to help you visualize the relationship between sets. As such, it is necessary to be able to draw Venn diagrams from a written or symbolic description of the relationship between sets.
Procedure
To create a Venn diagram:
- Draw a rectangle to represent the universal set, and label it .
- Draw a circle within the rectangle to represent a subset of the universal set and label it with the set name.
Checkpoint
If there are multiple disjoint subsets of the universal set, their separate circles should not touch or overlap.
Example 1.20
Drawing a Venn Diagram to Represent the Relationship Between Two Sets
Draw a Venn diagram to represent the relationship between each of the sets.
- All rectangles are parallelograms.
- All women are people.
- Answer
- The set of rectangles is a subset of the set of parallelograms.
First, draw a rectangle to represent the universal set and label it with , then draw a circle completely within the rectangle, and label it with the name of the set it represents, .
- The set of rectangles is a subset of the set of parallelograms.
In this example, both letters and names are used to represent the sets involved, but this is not necessary. You may use either letters or names alone, as long as the relationship is clearly depicted in the diagram, as shown below.
or
- The universal set is the set of people, and the set of all women is a subset of the set of people.
Your Turn 1.20
Example 1.21
Drawing a Venn Diagram to Represent the Relationship Between Three Sets
All bicycles and all cars have wheels, but no bicycle is a car. Draw a Venn diagram to represent this relationship.
- Answer
Step 1: The set of bicycles and the set of cars are both subsets of the set of things with wheels. The universal set is the set of things with wheels, so we first draw a rectangle and label it with .
Step 2: Because the set of bicycles and the set of cars do not share any elements in common, these two sets are disjoint and must be drawn as two circles that do not touch or overlap with the universal set.
Your Turn 1.21
The Complement of a Set
Recall that if set is a proper subset of set , the universal set (written symbolically as ), then there is at least one element in set that is not in set . The set of all the elements in the universal set that are not in the subset is called the complement of set , . In set builder notation this is written symbolically as: The symbol is used to represent the phrase, “is a member of,” and the symbol is used to represent the phrase, “is not a member of.” In the Venn diagram below, the complement of set is the region that lies outside the circle and inside the rectangle. The universal set includes all of the elements in set and all of the elements in the complement of set , and nothing else.
Consider the set of digit numbers. Let this be our universal set, Now, let set be the subset of consisting of all the prime numbers in set , The complement of set is The following Venn diagram represents this relationship graphically.
Example 1.22
Finding the Complement of a Set
For both of the questions below, is a proper subset of .
- Given the universal set and set , find
- Given the universal set and , find
- Answer
- The complement of set is the set of all elements in the universal set that are not in set .
- The complement of set is the set of all dogs that are not beagles. All members of set are in the universal set because they are dogs, but they are not in set because they are not beagles. This relationship can be expressed in set build notation as follows: , , or
Your Turn 1.22
Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/01:__Sets/1.04:_Understanding_Venn_Diagrams), /content/body/div[3]/div[2]/section[2]/div/div/div/div/span[1]/span, line 1, column 1
Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/01:__Sets/1.04:_Understanding_Venn_Diagrams), /content/body/div[3]/div[2]/section[2]/div/div/div/div/span[2]/span, line 1, column 1