Skip to main content
Mathematics LibreTexts

1.3: 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}\)
    Soccer players are shown on a field and one of them is about to kick the ball.
    Figure 1.4 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.

    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 1.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. 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.'
    Figure 1.5

    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 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 1.11

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

    Example 1.12

    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 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:

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

    Example 1.13

    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 1.13

     
    1. Express the relationship between the set of natural numbers, /**/\mathbb{N} = \{ 1,2,3, \ldots \}, /**/ and the set of even numbers, /**/E = \{ 2,4,6, \ldots \} /**/.

    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 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 1.14

    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
    2. The set of the top four bestselling albums of all time:
          \(A=\{\) Thriller, Hotel California, The Beatles White Album, Led Zepplin IV \(\}\).
    3. \(R=\{\) Snap, Crackle, Pop \(\}\).
    Answer
    1. n(S)=5n(S)=5. So, the total number of subsets of Sis25=22222=32Sis25=22222=32.
    2. n(A)=4n(A)=4. Therefore, the total number of subsets of Ais24=16Ais24=16.
    3. n(R)=3n(R)=3. So, the total number of subsets of Ris23=8Ris23=8.

    Your Turn 1.14

     
    1. 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, Rafael Nadal, Novak Djokovic, Roger Federer, Helen Wills, Martina Navratilova, Chris Everett\}.

    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, n2n2, are equivalent. Upon making this discovery, he conjectured that the concepts of less than, greater than, and equal to did not apply to infinite sets.

    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, nn. For example, the set of even numbers can be defined using set builder notation as {a|a=2nwherenis a natural number}{a|a=2nwherenis a natural number}. The formula in this case replaces every natural number with two times the number, resulting in the set of even numbers, {2,4,6,}{2,4,6,}. 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 {3, 6, 9, …}{3, 6, 9, …}. Write this set using set builder notation by expressing each multiple of 3 using a formula in terms of a natural number, nn.

    Answer

    {m|m=3nwherenis a natural number}{m|m=3nwherenis a natural number} or {m|m=3nwherenN}{m|m=3nwherenN}. In this example, mm is a multiple of 3 and nn 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

     
    1.  Using natural numbers, multiples of 5 are given by the sequence \(\{5,10,15, \ldots\}\). Write this set using set builder notation by associating each multiple of 5 in terms of a natural number, \(n\).

    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

     
    1. Serena and Venus Williams walk into the same restaurant as Javier and Michael, but they order the same pair of items, resulting in equal sets of choices. If Venus ordered a fish sandwich and chicken nuggets, what did Serena order?

    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

     
    1.  Consider the same group of volleyball players from above: {Angie, Brenda, Colleen, Estella, Maya, Maria, Penny, Shantelle}. The team needs to select a captain and an assistant captain from their members. List two possible equivalent subsets that they could select.

    Check Your Understanding

    8.    Every member of a ________ of a set is also a member of the set.

    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\).

    Section 1.2 Exercises

    For the following exercises, list all the proper subsets of each set.
     
    1. \{chocolate, vanilla, strawberry \(\}\)

    2. \{true, false \(\}\)
     
    3. \{mother, father, daughter, son \}
     
    4. \(\{7\}\)

    For the following exercises, determine the relationship between the two sets and write the relationship symbolically.

    \(D=\{0,1,2, \ldots, 9\}, A=\{0,2,4,6,8\}, B=\{1,3,5,7,9\}, C=\{8,6,4,2,0\}, Z=\{0\}\), and \(\emptyset\)

    5. \(D\) and \(A\)

    6. \(B\) and \(D\)

    7. \(C\) and \(D\)

    8. \(Z\) and \(C\)

    9. \(Z\) and \(\emptyset\)

    10. \(A\) and \(B\)

    11. \(A\) and \(C\)

    12. \(\emptyset\) and \(D\)

    13. \(B\) and \(C\)

    14. \(A\) and \(Z\)

    For the following exercises, calculate the total number of subsets of each set.

    15. \{Adele, Beyonce, Cher, Madonna, Shakira \}

    16. \(\{\) Art, Paul \(\}\)

    17. \{Peter, Paul, Mary \}

    18. \(\emptyset\)

    19. \(\{3\}\)

    20. \(\{l, o, v, e\}\)

    21. \(\}\)

    22. \{football, baseball, basketball, soccer, hockey, tennis, golf\}

    23. Set \(A\), if \(n(A)=12\).

    24. Set \(B\), if \(n(B)=9\).

    For the following exercises, use the set of letters in the word largest as the set, /**/U = \left\{ \text{l, a, r, g, e, s, t} \right\}./**/

    25. Find a subset of \(U\) that is equivalent, but not equal, to the set: \(\{l, \mathrm{a}, \mathrm{s}, \mathrm{t}\}\).

    26. Find a subset of \(U\) that is equal to the set: \(\{l, \mathrm{a}, \mathrm{s}, \mathrm{t}\}\).

    27. Find a subset of \(U\) that is equal to the set: \(\{\mathrm{a}, \mathrm{r}, \mathrm{t}\}\).

    28. Find a subset of \(U\) that is equivalent, but not equal, to the set \(\{\mathrm{a}, \mathrm{r}, \mathrm{t}, \mathrm{s}\}\).

    29. Find a subset of \(U\) that is equivalent, but not equal, to the set: \(\{\mathrm{r}, \mathrm{a}, \mathrm{t}, \mathrm{e}, \mathrm{s}\}\).

    30. Find a subset of \(U\) that is equal to the set: \(\{\mathrm{r}, \mathrm{a}, \mathrm{t}, \mathrm{e}, \mathrm{s}\}\).

    31. Find two three-character subsets of set \(U\) that are equivalent, but not equal, to each other.

    32. Find two three-character subsets of set \(U\) that are equal to each other.

    33. Find two five-character subsets of set \(U\) that are equal to each other.

    34. Find two five-character subsets of set \(U\) that are equivalent, but not equal, to each other.

    Find two equal subsets of /**/U/**/ with a cardinality of 4.
     
    35. Find two equivalent subset of \(U\) with a cardinality of 7 .
     
    36. Find two equal subsets of \(U\) with a cardinality of 4 .
     
    37. Find a subset of \(U\) that is equivalent, but not equal to, \(\{0,3,6,9, \ldots\}\).
     
    38. Find a subset of \(U\) that is equivalent, but not equal to, \(\{-1,-4,-9,-16,-25, \ldots\}\).
     
    39. True or False. The set of natural numbers, \(\mathbb{N}=\{1,2,3, \ldots\}\), is equivalent to set \(U\).
     
    40. True or False. Set \(U\) is an equivalent subset of the set of rational numbers, \(\mathbb{Q}=\left\{\left.\frac{p}{q} \right\rvert\, p\right.\) and \(q\) are integers and \(\left.q \neq 0.\right\}\).

    This page titled 1.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.

    • Was this article helpful?