Skip to main content
Mathematics LibreTexts

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}\)
    Soccer players are shown on a field and one of them is about to kick the ball.
    Figure 4.3.1: The players on a soccer team who are actively participating in a game are a subset of the greater set of team members. (Credit: “PAFC-Mezokovesd-108” by Puskás Akadémia/Flickr, Public Domain Mark 1.0)
    Learning Objectives

    After completing this section, you should be able to:

    1. Represent subsets and proper subsets symbolically.
    2. Compute the number of subsets of a set.
    3. 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.

    Subset

    Set AA is a subset of set BB if every member of set AA is also a member of set BB. Symbolically, this relationship is written as ABAB.

    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, BBBB

    Recall the set of flatware in our kitchen drawer from Section 4.1, F={fork, spoon, knife, meat thermometer, can opener}F={fork, spoon, knife, meat thermometer, can opener}. Suppose you are preparing to eat dinner, so you pull a fork and a knife from the drawer to set the table. The set D={knife, fork}D={knife, fork} is a subset of set FF, because every member or element of set DD is also a member of set FF. More specifically, set DD is a proper subset of set FF, because there are other members of set FF not in set DD. This is written as DFDF.

    Proper Subset

    Set AA is a proper subset of set BB if every member of set AA is also a member of set BB, but B also contains at least one element that is not in A. Symbolically, this relationship is written as ABAB.

    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 AA is represented as a circle completely enclosed inside the circle representing set BB, showing that set AA is a proper subset of set BB. The element xx represents an element that is in both set AA and set BB.

    A two-step Venn diagram, A and B, is shown, where A is inside B. A is marked at its center with an 'x.'

    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 LL is a set of reading materials available in a shop at the airport, L={newspaper, magazine, book}L={newspaper, magazine, book}. List all the subsets of set LL.

    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 LL is n(L)=3n(L)=3. There is only one subset of set LL that has the same number of elements of set L:{newspaper,magazine,book }L:{newspaper,magazine,book }.

    Step 2: Next, list all the proper subsets of the set containing n(L)1n(L)1 elements. In this case, 31=231=2. There are three subsets that each contain two elements: {newspaper,magazine}{newspaper,magazine}, { newspaper,book}{ newspaper,book}, and {magazine,book}{magazine,book}.

    Step 3: Continue this process by listing all the proper subsets of the set containing n(L)2n(L)2 elements. In this case, 32=132=1. There are three subsets that contain one element: {newspaper}{newspaper}, {magazine}{magazine}, and {book}{book}.

    Step 4: Finally, list the subset containing 0 elements, or the empty set: {}{}.

    Your Turn 4.3.1

    Consider the set of possible outcomes when you flip a coin, S = {heads, tails}. List all the possible subsets of set S.

    Example 4.3.2

    Determining Whether a Set Is a Proper Subset

    Consider the set of common political parties in the United States, P={Democratic, Green, Libertarian, Republican}P={Democratic, Green, Libertarian, Republican}. Determine if the following sets are proper subsets of PP.

    1. M={Democratic, Republican}M={Democratic, Republican}
    2. G={Green}G={Green}
    3. V={Republican, Libertarian, Green, Democratic}V={Republican, Libertarian, Green, Democratic}
    Answer
    1. MM is a proper subset of PP, written symbolically as MPMP because every member of MM is a member of set PP, but PP also contains at least one element that is not in MM.
    2. GG is a single member proper subset of PP, written symbolically as GP,GP, because Green is a member of set PP, but PP also contains other members (such as Democratic) that are not in GG.
    3. VV is subset of PP because every member of VV is also a member of PP, but it is not a proper subset of PP because there are no members of VV that are not also in set PP. We can represent the relationship symbolically as VP,VP, or more precisely, set VV is equal to set PP, V=P.V=P.

    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:

    1. one member
    2. three members
    3. no members

    Example 4.3.3

    Expressing the Relationship between Sets Symbolically

    Consider the subsets of a standard deck of cards: S={spades, hearts, diamonds, clubs}S={spades, hearts, diamonds, clubs}; R={hearts, diamonds}R={hearts, diamonds}; B={spades, clubs}B={spades, clubs}; and C={clubs}C={clubs}.

    Express the relationship between the following sets symbolically.

    1. Set SS and set BB.
    2. Set CC and set BB.
    3. Set RR and RR.
    Answer
    1. BSBS. BB is a proper subset of set SS.
    2. CBCB. CC is a proper subset of set BB.
    3. RRorR=RRRorR=R. RR is subset of itself, but not a proper subset of itself because RR is equal to itself.

    Your Turn 4.3.3

    Express the relationship between the set of natural numbers, ℕ = {1, 2, 3, ...}and the set of even numbers, E = {2, 4, 6, ...}.

    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 AA is equal to 2 raised to the power of n(A)n(A), where n(A)n(A) is the number of elements in set AA: Number of Subsets of Set A=2n(A)Number of Subsets of Set A=2n(A).

    Checkpoint

    Note that 20=120=1, 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.

    1. The set of top five scorers of all time in the NBA: S={ LeBron James, Kareem Abdul-Jabbar, Karl Malone, Kobe Bryant, Michael Jordan }.S={ LeBron James, Kareem Abdul-Jabbar, Karl Malone, Kobe Bryant, Michael Jordan }.
    2. The set of the top four bestselling albums of all time: A={ Thriller, Hotel California, The Beatles White Album, Led Zepplin IV }A={ Thriller, Hotel California, The Beatles White Album, Led Zepplin IV }.
    3. R={ Snap, Crackle, Pop }R={ Snap, Crackle, Pop }.
    Answer
    1. n(S)=5n(S)=5. So, the total number of subsets of Sis25=32.
    2. n(A)=4n(A)=4. Therefore, the total number of subsets of Ais24=16.
    3. n(R)=3n(R)=3. So, the total number of subsets of Ris23=8.

    Your Turn 4.3.4

    Compute the total number of subsets in the set of the top nine tennis grand slam singles winners, T = {Margaret Court, Serena Williams, Steffi Graff, Serena Williams, Rafael Nadal, Novak Djokovic}.

    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.


    This page titled 4.3: Subsets is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by OpenStax via source content that was edited to the style and standards of the LibreTexts platform.