4.3: Subsets
- Page ID
- 152043
\( \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}\)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 4.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 .
Set is a proper subset of set if every member of set is also a member of set , but B also contains at least one element that is not in A. Symbolically, this relationship 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 4.3.1
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 4.3.1
Example 4.3.2
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 4.3.2
Consider the set of generation I legendary Pokémon, L = {Articuno, Zapdos, Moltres, Mewtwo}. Give an example of a proper subset containing:
Example 4.3.3
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 .
- . is subset of itself, but not a proper subset of itself because is equal to itself.
Your Turn 4.3.3
Number of Subsets
So far, we have figured out how many subsets exist in a finite set by listing them. Recall that in Example 4.3.1, when we listed all the subsets of the three-element set L = {newspaper, magazine, book}, we discovered that there were eight subsets. In Your Turn 4.3.1, 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.
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 4.3.4
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:
- The set of the top four bestselling albums of all time: .
- .
- Answer
-
- . So, the total number of subsets of .
- . Therefore, the total number of subsets of .
- . So, the total number of subsets of .
Your Turn 4.3.4
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.