1.2: Subsets
- Page ID
- 129496
\( \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}\)After completing this section, you should be able to:
- Represent subsets and proper subsets symbolically.
- Compute the number of subsets of a set.
- Apply concepts of subsets and equivalent sets to finite and infinite sets.
The rules of Major League Soccer (MLS) allow each team to have up to 30 players on their team. However, only 18 of these players can be listed on the game day roster, and of the 18 listed, 11 players must be selected to start the game. How the coaches and general managers form the team and choose the starters for each game will determine the success of the team in any given year.
The entire group of 30 players is each team’s set. The group of game day players is a subset of the team set, and the group of 11 starters is a subset of both the team set and the set of players on the game day roster.
Set is a subset of set if every member of set is also a member of set . Symbolically, this relationship is written as .
Sets can be related to each other in several different ways: they may not share any members in common, they may share some members in common, or they may share all members in common. In this section, we will explore the way we can select a group of members from the whole set.
Checkpoint
Every set is also a subset of itself,
Recall the set of flatware in our kitchen drawer from Section 1.1,
. Suppose you are preparing to eat dinner, so you pull a fork and a knife from the drawer to set the table. The set is a subset of set , because every member or element of set is also a member of set . More specifically, set is a proper subset of set , because there are other members of set not in set . This is written as . The only subset of a set that is not a proper subset of the set would be the set itself.
Checkpoint
The empty set or null set, , is a proper subset of every set, except itself.
Graphically, sets are often represented as circles. In the following graphic, set is represented as a circle completely enclosed inside the circle representing set , showing that set is a proper subset of set . The element represents an element that is in both set and set .
Checkpoint
While we can list all the subsets of a finite set, it is not possible to list all the possible subsets of an infinite set, as it would take an infinitely long time.
Example 1.11
Listing All the Proper Subsets of a Finite Set
Set is a set of reading materials available in a shop at the airport, . List all the subsets of set .
- Answer
-
Step 1: It is best to begin with the set itself, as every set is a subset of itself. In our example, the cardinality of set is . There is only one subset of set that has the same number of elements of set .
Step 2: Next, list all the proper subsets of the set containing elements. In this case, . There are three subsets that each contain two elements: , , and .
Step 3: Continue this process by listing all the proper subsets of the set containing elements. In this case, . There are three subsets that contain one element: , , and .
Step 4: Finally, list the subset containing 0 elements, or the empty set: .
Your Turn 1.11
Example 1.12
Determining Whether a Set Is a Proper Subset
Consider the set of common political parties in the United States, . Determine if the following sets are proper subsets of .
- Answer
-
- is a proper subset of , written symbolically as because every member of is a member of set , but also contains at least one element that is not in .
- is a single member proper subset of , written symbolically as because Green is a member of set , but also contains other members (such as Democratic) that are not in .
- is subset of because every member of is also a member of , but it is not a proper subset of because there are no members of that are not also in set . We can represent the relationship symbolically as or more precisely, set is equal to set ,
Your Turn 1.12
Consider the set of generation I legendary Pokémon, /**/L = \{ {\text{Articuno, Zapdos, Moltres, Mewtwo}}\} /**/. Give an example of a proper subset containing:
Example 1.13
Expressing the Relationship between Sets Symbolically
Consider the subsets of a standard deck of cards: ; ; ; and .
Express the relationship between the following sets symbolically.
- Set and set .
- Set and set .
- Set and .
- Answer
-
- . is a proper subset of set .
- . is a proper subset of set .
R or R = R . is subset of itself, but not a proper subset of itself because is equal to itself.R ⊆ R or R = R
Your Turn 1.13
Exponential Notation
So far, we have figured out how many subsets exist in a finite set by listing them. Recall that in Example 1.11, when we listed all the subsets of the three-element set \(L=\{\) newspaper, magazine, book\} we saw that there are eight subsets. In Your Turn 1.11, we discovered that there are four subsets of the two-element subset, \(S=\{\) heads, tails \(\}\). A one-element set has two subsets, the empty set and itself. The only subset of the empty set is the empty set itself. But how can we easily figure out the number of subsets in a very large finite set? It turns out that the number of subsets can be found by raising 2 to the number of elements in the set, using exponential notation to represent repeated multiplication. For example, the number of subsets of the set \(L=\{\) newspaper, magazine, book \(\}\) is equal to \(2^3=2 \cdot 2 \cdot 2=8\). Exponential notation is used to represent repeated multiplication, \(b^n=b \cdot b \cdot b \cdot \ldots \cdot b\), where \(b\) appears as a factor \(n\) times.
FORMULA
The number of subsets of a finite set is equal to 2 raised to the power of , where is the number of elements in set : .
Checkpoint
Note that , so this formula works for the empty set, also.
Example 1.14
Computing the Number of Subsets of a Set
Find the number of subsets of each of the following sets.
- The set of top five scorers of all time in the NBA:
\(S=\{\) LeBron James, Kareem Abdul-Jabbar, Karl Malone, Kobe Bryant, Michael Jordan - The set of the top four bestselling albums of all time:
\(A=\{\) Thriller, Hotel California, The Beatles White Album, Led Zepplin IV \(\}\). - \(R=\{\) Snap, Crackle, Pop \(\}\).
- Answer
-
- . So, the total number of subsets of
S is 2 5 = 2 ⋅ 2 ⋅ 2 ⋅ 2 ⋅ 2 = 32 S is 2 5 .= 2 ⋅ 2 ⋅ 2 ⋅ 2 ⋅ 2 = 32 - . Therefore, the total number of subsets of
A is 2 4 = 16 A is 2 4 .= 16 - . So, the total number of subsets of
R is 2 3 = 8 R is 2 3 .= 8
- . So, the total number of subsets of
Your Turn 1.14
Equivalent Subsets
In the early 17th century, the famous astronomer Galileo Galilei found that the set of natural numbers and the subset of the natural numbers consisting of the set of square numbers,
Sequences and series are defined as infinite subsets of the set of natural numbers by forming a relationship between the sequence or series in terms of a natural number, . For example, the set of even numbers can be defined using set builder notation as . The formula in this case replaces every natural number with two times the number, resulting in the set of even numbers, . The set of even numbers is also equivalent to the set of natural numbers.
Who Knew?
Employment Opportunities
You can make a career out of working with sets. Applications of equivalent sets include relational database design and analysis.
Relational databases that store data are tables of related information. Each row of a table has the same number of columns as every other row in the table; in this way, relational databases are examples of set equivalences for finite sets. In a relational database, a primary key is set up to identify all related information. There is a one-to-one relationship between the primary key and any other information associated with it.
Database design and analysis is a high demand career with a median entry-level salary of about $85,000 per year, according to salary.com.
Example 1.15
Writing Equivalent Subsets of an Infinite Set
Using natural numbers, multiples of 3 are given by the sequence . Write this set using set builder notation by expressing each multiple of 3 using a formula in terms of a natural number, .
- Answer
-
or . In this example, is a multiple of 3 and is a natural number. The symbol is read as “is a member or element of.” Because there is a one-to-one correspondence between the set of multiples of 3 and the natural numbers, the set of multiples of 3 is an equivalent subset of the natural numbers.
Your Turn 1.15
Example 1.16
Creating Equivalent Subsets of a Finite Set That Are Not Equal
A fast-food restaurant offers a deal where you can select two options from the following set of four menu items for $6: a chicken sandwich, a fish sandwich, a cheeseburger, or 10 chicken nuggets. Javier and his friend Michael are each purchasing lunch using this deal. Create two equivalent, but not equal, subsets that Javier and Michael could choose to have for lunch.
- Answer
-
The possible two-element subsets are: {chicken sandwich, fish sandwich}, {chicken sandwich, cheeseburger}, {chicken sandwich, chicken nuggets}, {fish sandwich, cheeseburger}, {fish sandwich, chicken nuggets}, and {cheeseburger, chicken nuggets}. One possible solution is that Javier picked the set {chicken sandwich, chicken nuggets}, while Michael chose the {cheeseburger, chicken nuggets}. Because Javier and Michael both picked two items, but not exactly the same two items, these sets are equivalent, but not equal.
Your Turn 1.16
Example 1.17
Creating Equivalent Subsets of a Finite Set
A high school volleyball team at a small school consists of the following players: {Angie, Brenda, Colleen, Estella, Maya, Maria, Penny, Shantelle}. Create two possible equivalent starting line-ups of six players that the coach could select for the next game.
- Answer
-
There are actually 28 possible ways that the coach could choose his starting line-up. Two such equivalent subsets are {Angie, Brenda, Maya, Maria, Penny, Shantelle} and {Angie, Brenda, Colleen, Estella, Maria, Shantelle}. Each subset has six members, but they are not identical, so the two sets are equivalent but not equal.
Your Turn 1.17
Check Your Understanding
9. Explain what distinguishes a proper subset of a set from a subset of a set.
10. The ________ set is a proper subset of every set except itself.
11. Is the following statement true or false? \(A \subseteq A\).
12. If the cardinality of set \(A\) is \(n(A)=10\), then set \(A\) has a total of ________ subsets.
13. Set \(A\) is ________ to set \(B\) if \(n(A)=n(B)\).
14. If every member of set \(A\) is a member of set \(B\) and every member of set \(B\) is also a member set \(A\), then set \(A\) is ________ to set \(B\).