Skip to main content
Mathematics LibreTexts

Section 2.2: Subsets

  • Page ID
    212976
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

    \( \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
    • Define the complement of a set
    • Find all subsets of a set
    • Use subset notation

     


    Before we discuss anything further regarding sets, we need to define the universal set.

    Definition: Universal Set, U

    A Universal Set (denoted by U ) is the set that contains all elements under consideration in a particular mathematical discussion or problem.

    • Key point: It's not "everything in existence"; it's "everything relevant to our current problem."

     

    Every mathematical discussion about sets needs boundaries. Without defining our universal set first, we're like:

    • A teacher talking about "students" without specifying which school
    • A chef discussing "ingredients" without mentioning which kitchen
    • A librarian organizing "books" without identifying which library

    Imagine you're having a conversation about students at Orange Coast College. We would define the universal set:

    U = {All students at OCC}

    Everything you discuss (freshmen, math majors, athletes, etc.) comes from this universe. You wouldn't suddenly start talking about students from other colleges, because they are outside your "universe".

    The universal set changes based on what we're discussing. Let's look at another situation.

    Pictire of Grimace Happy Meal Toy
    In 2022, McDonald's teamed up with street-wear brand Cactus Plant Flea Market to create one of the most popular Happy Meal toy collections ever that was aimed at adults. The collection consisted of four figurines to collect: Grimace, Cactus Buddy, the Hamburglar, and Birdie. Here, we would define the universal set as:

    U = {Grimace, Cactus Buddy, Grimace, Birdie}

     

    Once we define our universal set U, several important relationships automatically become clear. We can now define those set relationships which are also referred to as set inclusions.

     Imagine you're organizing your music collection. You have:

    • All your songs
    • Just your jazz songs
    • Just your workout songs
    • Songs that are both jazz AND good for working out

    These collections have natural relationships. Your jazz songs are part of your entire collection, and your jazz workout songs are part of your jazz collection. In mathematics, we call these relationships subsets.

    Definition: Subset, ⊆

    Set A is a subset of set B if every element in A is also in B.

    Symbolically: AB (read as "A is a subset of ")

    (Consequently, if set A is a not a subset of set B, then A B.)

     

    Example #2.2.1 🤔

    Let A = {red, white} and B = {red, white, blue}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Since the elements red and white from set A are also contained in set B, then A is a subset of B.

    Thus, the statement A ⊆ B is true.

    Example #2.2.2 🤔

    Let A = {red, white} and B = {red, white, blue}. Decide whether the statement BA is true or false.


    ✅ Solution:

    Since there exists at least one element in set B (blue) that is NOT contained in set B, then B is not a subset of A.

    Thus, the statement B ⊆ A is false. (Note: B  A is true).

    Example #2.2.3 🤔

    Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement AB is true or false.


    ✅ Solution: 

    Since there is at least one city in the United States (i.e., Chicago) that is NOT in California, then A is not a subset of B.

    Thus, the statement Ais false. (Note: A  B is true).

    Example #2.2.4 🤔

    Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement B ⊆ A is true or false.


    ✅ Solution:

    Since every city in California is also a city in the United States, then B is a subset of A.

    Thus, the statement B ⊆ A is true.

    Example #2.2.5 ðŸ¤”

    Let A = {English majors at our college} and B = {All students at our college}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Since every English major is a student at the college, then A is a subset of B.

    Thus, the statement A ⊆ B is true.

    Example #2.2.6 🤔

    Let A = {Legislative, Executive, Judicial} and B = {The three branches of U.S. government}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Since the Legislative, Executive, and Judicial branches are the three branches of U.S. government, then A is a subset of B

    Thus, the statement A ⊆ B is true.

    (Since set A and set  B are exactly the same elements, A = B is also true.)

    Example #2.2.7 🤔

    Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Since 1 is an element of B and 2 is and element of B, (or equivalently 1 ∈ B and 2 ∈ B ), then A is a subset of B.

    Thus, the statement A ⊆ B is true.

    Example #2.2.8 ðŸ¤”

    Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement BA is true or false.


    ✅ Solution:

    Since 3 is NOT an element of B, (or equivalently 3 B ), then B is not a subset of A.

    Thus, the statement Bis false. (Note: B  A is true).

    Section 2.2: Subsets [In-Class Exercises]
    1. Let A = {1, 2, 3, 4} and B = {1, 2, 3, 4, 5}. Decide whether the statement A ⊆ B is true or false.
    2. Let = {circle, triangle, rhombus} and = {circle, triangle, hexagon}. Decide whether the statement C ⊆ D is true or false.
    3. Let = {a, b, c, x, y} and = {a, b, c}. Decide whether the statement E  F is true or false.
    4. In Major League Baseball (MLB), there are 30 teams among 6 divisions. The American League West division contains the following five teams: Angels, Astros, Athletics, Mariners and Rangers. Let M = {All 30 MLB Baseball teams} and W = {Five American League West teams}. Which statement is true, M ⊆ W or W ⊆ M ?
    5. Let S = {All Star Wars movies/films} and F = {All science fiction/fantasy movies/films}. Which statement is true, F ⊆ S or S ⊆ ?
    Answers

    1) True;   2) False;   3) False;   4) W ⊆ M;   5) S ⊆ F.

     

    Now, let's look at another mathematical example, where both C and D are the exact same sets. Let C = {1, 2, 3} and D = {1, 2, 3}. Is C? Let's check.

    • Is 1 ∈ D? Yes ✓
    • Is 2 ∈ D? Yes ✓
    • Is 3 ∈ D? Yes ✓

    Thus, CD is true! This feels different from our first mathematical example above.

     

    So, let's compare the two mathematical examples

    • Earlier: A = {1, 2} and B = {1, 2, 3}
    • Here AB, but A is clearly "smaller" than B (as it relates to cardinality)
    • Now: C = {1, 2, 3} and D = {1, 2, 3}
    • Here CD, but C and D are identical!

    This observation led mathematicians to create a more specific term. When we want to say that A is a subset of B, but A is definitely not equal to B, meaning that B has at least one element that A doesn't have, then we call this a proper subset.

     

    Definition: Proper Subset, ⊂

    A is a proper subset of B (written AB) when:

    1. AB (A is a subset of B ), AND
    2. AB (A is not equal to B )

    Symbolically: AB (read as "A is a proper subset of ")

    (Consequently, if set A is a not a proper subset of set B, then A ⊄ B.)

     

    So, in other words, for AB, means that there is at least one element in set B (the set on the right) that is not in set A (the set on the left. The key difference is that a subset (⊆) allows for the possibility that A = B, whereas a proper subset (⊂), has A "strictly smaller" than B.

     

    Example #2.2.9 ðŸ¤”

    Let A = {red, white} and B = {red, white, blue}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is AB ? Yes, every element of set A is also contained in set B
    2. Is AB ? Yes, set A is not equivalent to set B

    Since both conditions are satisfied, then A is a proper subset of B.

    Thus, the statement AB is true.

    Example #2.2.10 ðŸ¤”

    Let A = {red, white} and B = {red, white, blue}. Decide whether the statement B ⊂ A is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is BA ? No, every element of set B is NOT contained in set A
    2. Is AB ? Yes, set A is not equivalent to set B✅ (Note: There is no need to check for the second condition, if the first one fails.)

    Since at least one of the conditions are NOT satisfied, then B is not a proper subset of A.

    Thus, the statement B ⊂ A is false. (Note: BA is true).

    Example #2.2.11 ðŸ¤”

    Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is AB ? No, every element of set A is NOT contained in set B
    2. Is AB ? Yes, set A is not equivalent to set B (Note: There is no need to check for the second condition, if the first one fails.)

    Since at least one of the conditions are NOT satisfied, then A is not a proper subset of B.

    Thus, the statement AB is false. (Note: A ⊄ B is true).

    Example #2.2.12 ðŸ¤”

    Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement B ⊂ A is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is B ⊆ A ? Yes, every element of set B is also contained in set A
    2. Is AB ? Yes, set A is not equivalent to set B

    Since both conditions are satisfied, then B is a proper subset of A.

    Thus, the statement B ⊂ A is true.

    Example #2.2.13 ðŸ¤”

    Let A = {English majors at our college} and B = {All students at our college}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is AB ? Yes, every element of set A is also contained in set B
    2. Is AB ? Yes, set A is not equivalent to set B

    Since both conditions are satisfied, then A is a proper subset of B.

    Thus, the statement AB is true.

    Example #2.2.14 ðŸ¤”

    Let A = {Legislative, Executive, Judicial} and B = {The three branches of U.S. government}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is AB ? Yes, every element of set A is also contained in set B
    2. Is AB ? No, set A is equivalent to set B

    Since at least one of the conditions are NOT satisfied, then A is not a proper subset of B.

    Thus, the statement AB is false. (Note: A ⊄ B is true).

    (Think of a proper subset as if is was a strictly less than, but not equal to, sign (<). So, is the set {1, 2, 3} < {1, 2, 3}? No.)

    Example #2.2.15 ðŸ¤”

    Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement AB is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is AB ? Yes, every element of set A is also contained in set B
    2. Is AB ? Yes, set A is not equivalent to set B

    Since both conditions are satisfied, then A is a proper subset of B.

    Thus, the statement AB is true.

    (Think of a proper subset as if is was a strictly less than, but not equal to, sign (<). So, is the set {1, 2} < {1, 2, 3}? Yes.)

    Example #2.2.16 ðŸ¤”

    Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement B ⊂ A is true or false.


    ✅ Solution:

    Check the following conditions:

    1. Is BA ? No, every element of set B is NOT contained in set A
    2. Is AB ? Yes, set A is not equivalent to set B✅ (Note: There is no need to check for the second condition, if the first one fails.)

    Since at least one of the conditions are NOT satisfied, then A is not a proper subset of B.

    Thus, the statement BA is false. (Note: B ⊄ A is true).

    (Think of a proper subset as if is was a strictly less than, but not equal to, sign (<). So, is the set {1, 2, 3} < {1, 2}? No.)

    Example #2.2.17 🤔

    Let A = {x, y, z} and B = {x, y, z}. Decide whether the statement AB is true or false.


    ✅ Solution

    Check the following conditions:

    1. Is A ⊆ B ? Yes, every element of set A is also contained in set B
    2. Is AB ? No, set A is equivalent to set B

    Since at least one of the conditions are NOT satisfied, then A is not a proper subset of B.

    Thus, the statement AB is false. (Note: A ⊄ B is true).

    (Think of a proper subset as if is was a strictly less than, but not equal to, sign (<). So, is the set {x, y, z} < {x, y, z}? No.)

    Section 2.2: Subsets [In-Class Exercises]
    1. Let A = {1, 2, 3, 4} and B = {1, 2, 3, 4, 5}. Decide whether the statement A ⊂ B is true or false.
    2. Let = {circle, triangle, hexagon} and = {circle, triangle, octagon}. Decide whether the statement D ⊂ C is true or false.
    3. Let = {a, b, c} and = {a, b, c, x, y}. Decide whether the statement E ⊄ F is true or false.
    4. Let = {2, 4, 6, 8, 10} and = {2, 4, 6, 8, 10}. Decide whether the statement G ⊂ H is true or false.
    5. In Major League Baseball (MLB), there are 30 teams among 6 divisions. The National League West division contains the following five teams: Diamondbacks, Dodgers, Giants, Padres and Rockies. Let M = {All 30 MLB Baseball teams} and W = {Five National League West teams}. Which statement is true, M ⊂ W or W ⊂ M or neither?
    6. Let S = {All planets in our solar system} and P = {Mercury, Venus, Earth}. Which statement is true, P ⊂ S or S ⊂ P or neither.
    Answers

    6) True;   7) False;   8) False;   9) False;   10) W ⊂ M;   11) P ⊂ S.

     

    Properties of Subsets and Proper Subsets
    1. Every Set is a Subset of Itself
    • {1, 2, 3} ⊆ {1, 2, 3} ✓
    • But {1, 2, 3} ⊄ {1, 2, 3} (not a proper subset of itself)

    2. The Empty Set is a Subset of Every Set
    • ∅ ⊆ {1, 2, 3} ✓
    • ∅ ⊆ {cats, dogs} ✓
    • ∅ ⊆ ∅ ✓

    Why? Because there are no elements in ∅ to violate the subset condition!


    3. Transitivity

    If AB and BC, then AC

    • A = {Calculus students}
    • B = {Math majors}
    • C = {All students}
    • ABC, so A ⊆ C

     

    Common Mistakes to Avoid

    Mistake 1: Confusing ∈ and ⊆

    • ❌ Incorrect: {2} ∈ {1, 2, 3}
    • ✅ Correct: {2} ⊆ {1, 2, 3} or 2 ∈ {1, 2, 3}
    Mistake 2: Forgetting the Empty Set
    • When listing all subsets of {1, 2}, don't forget: ∅, {1}, {2}, {1, 2}
    Mistake 3: Thinking Proper Subsets Can Be Equal 
    • If AB, then AB (they cannot be equal)   

     

    Conclusion:

    Understanding subsets helps us:

    • Organize information logically
    • Understand hierarchical relationships
    • Make precise statements about collections of objects
    • Build foundation for more advanced mathematical concepts

    The distinction between subsets (⊆) and proper subsets (⊂) might seem subtle, but it's crucial for mathematical precision - just like the difference between "less than or equal to" (≤) and "less than" (<).

    Remember: Every proper subset is a subset, but not every subset is a proper subset!

     

    Example #2.2.18 ðŸ¤”

    Let A = {1, 2, 3, 4}, B = {1, 2, 3, 4, 5}, C = {1, 2, 3, 4, 5}, and D = {1, 2, 3, 4, 5, ….}. Decide whether each of the statements is true or false.

    1. AB
    2. BA
    3. AB
    4. BA
    5. BC
    6. CB
    7. BC
    8. CB
    9. BD
    10. DB
    11. BD
    12. DB

    ✅ Solution:
    1. True
    2. False
    3. True
    4. False
    5. True
    6. True
    7. False
    8. False
    9. True
    10. False
    11. True
    12. False
    Example #2.2.19 🤔

    Let = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2},= {3, 4}, and = {1, 2, 3, 4}. Decide whether each of the statements is true or false.

    1. AB
    2. BA
    3. AB
    4. BA
    5. AC
    6. CA
    7. AC
    8. CA
    9. AU
    10. UA
    11. UA
    12. AU

    ✅ Solution:
    1. False
    2. False
    3. False
    4. False
    5. True
    6. False
    7. True
    8. False
    9. True
    10. False
    11. False
    12. True
    Section 2.2: Subsets [In-Class Exercises]
    1. Let = {1, 2, 3, 4, 5, 6}, A = {3, 4, 5},= {1, 3, 6},= {3, 4, 5, 6}, and = {1, 3, 6}. Decide whether each of the statements is true or false.
    1. AC
    2. CA
    3. AC
    4. C ⊂ A
    5. BD
    6. D ⊆ B
    7. BD
    8. D ⊂ B
    9. AB
    10. BA
    11. AU
    12. U ⊂ A
    Answers

    a) True;   b) False;   c) True;   d) False;   e) True;   f) True;   g) False;   h) False;   i) False;   j) False;   k) True;   l) False.



    This page titled Section 2.2: Subsets is shared under a not declared license and was authored, remixed, and/or curated by Timothy Cooley.

    • Was this article helpful?