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}\)- 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.
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
Set A is a subset of set B if every element in A is also in B.
Symbolically: A ⊆ B (read as "A is a subset of B ")
(Consequently, if set A is a not a subset of set B, then A ⊈ B.)
Let A = {red, white} and B = {red, white, blue}. Decide whether the statement A ⊆ B 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.
Let A = {red, white} and B = {red, white, blue}. Decide whether the statement B ⊆ A 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).
Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement A ⊆ B 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 A ⊆ B is false. (Note: A ⊈ B is true).
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.
Let A = {English majors at our college} and B = {All students at our college}. Decide whether the statement A ⊆ B 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.
Let A = {Legislative, Executive, Judicial} and B = {The three branches of U.S. government}. Decide whether the statement A ⊆ B 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.)
Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement A ⊆ B 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.
Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement B ⊆ A 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 B ⊆ A is false. (Note: B ⊈ A is true).
- Let A = {1, 2, 3, 4} and B = {1, 2, 3, 4, 5}. Decide whether the statement A ⊆ B is true or false.
- Let C = {circle, triangle, rhombus} and D = {circle, triangle, hexagon}. Decide whether the statement C ⊆ D is true or false.
- Let E = {a, b, c, x, y} and F = {a, b, c}. Decide whether the statement E ⊈ F is true or false.
- 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 ?
- Let S = {All Star Wars movies/films} and F = {All science fiction/fantasy movies/films}. Which statement is true, F ⊆ S or S ⊆ F ?
- 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 ⊆ D ? Let's check.
- Is 1 ∈ D? Yes ✓
- Is 2 ∈ D? Yes ✓
- Is 3 ∈ D? Yes ✓
Thus, C ⊆ D 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 A ⊆ B, but A is clearly "smaller" than B (as it relates to cardinality)
- Now: C = {1, 2, 3} and D = {1, 2, 3}
- Here C ⊆ D, 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.
A is a proper subset of B (written A ⊂ B) when:
- A ⊆ B (A is a subset of B ), AND
- A ≠ B (A is not equal to B )
Symbolically: A ⊂ B (read as "A is a proper subset of B ")
(Consequently, if set A is a not a proper subset of set B, then A ⊄ B.)
So, in other words, for A ⊂ B, 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.
Let A = {red, white} and B = {red, white, blue}. Decide whether the statement A ⊂ B is true or false.
✅ Solution:
Check the following conditions:
- Is A ⊆ B ? Yes, every element of set A is also contained in set B. ✅
- Is A ≠ B ? 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 A ⊂ B is true.
Let A = {red, white} and B = {red, white, blue}. Decide whether the statement B ⊂ A is true or false.
✅ Solution:
Check the following conditions:
- Is B ⊆ A ? No, every element of set B is NOT contained in set A. ❌
- Is A ≠ B ? 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: B ⊄ A is true).
Let A = {Cities in the United States} and B = {Cities in California}. Decide whether the statement A ⊂ B is true or false.
✅ Solution:
Check the following conditions:
- Is A ⊆ B ? No, every element of set A is NOT contained in set B. ❌
- Is A ≠ B ? 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 A ⊂ B is false. (Note: A ⊄ B is true).
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:
- Is B ⊆ A ? Yes, every element of set B is also contained in set A. ✅
- Is A ≠ B ? 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.
Let A = {English majors at our college} and B = {All students at our college}. Decide whether the statement A ⊂ B is true or false.
✅ Solution:
Check the following conditions:
- Is A ⊆ B ? Yes, every element of set A is also contained in set B. ✅
- Is A ≠ B ? 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 A ⊂ B is true.
Let A = {Legislative, Executive, Judicial} and B = {The three branches of U.S. government}. Decide whether the statement A ⊂ B is true or false.
✅ Solution:
Check the following conditions:
- Is A ⊆ B ? Yes, every element of set A is also contained in set B. ✅
- Is A ≠ B ? 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 A ⊂ B 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.)
Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement A ⊂ B is true or false.
✅ Solution:
Check the following conditions:
- Is A ⊆ B ? Yes, every element of set A is also contained in set B. ✅
- Is A ≠ B ? 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 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} < {1, 2, 3}? Yes.)
Let A = {1, 2} and B = {1, 2, 3}. Decide whether the statement B ⊂ A is true or false.
✅ Solution:
Check the following conditions:
- Is B ⊆ A ? No, every element of set B is NOT contained in set A. ❌
- Is A ≠ B ? 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 B ⊂ A 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.)
Let A = {x, y, z} and B = {x, y, z}. Decide whether the statement A ⊂ B is true or false.
✅ Solution
Check the following conditions:
- Is A ⊆ B ? Yes, every element of set A is also contained in set B. ✅
- Is A ≠ B ? 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 A ⊂ B 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.)
- Let A = {1, 2, 3, 4} and B = {1, 2, 3, 4, 5}. Decide whether the statement A ⊂ B is true or false.
- Let C = {circle, triangle, hexagon} and D = {circle, triangle, octagon}. Decide whether the statement D ⊂ C is true or false.
- Let E = {a, b, c} and F = {a, b, c, x, y}. Decide whether the statement E ⊄ F is true or false.
- Let G = {2, 4, 6, 8, 10} and H = {2, 4, 6, 8, 10}. Decide whether the statement G ⊂ H is true or false.
- 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?
- 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.
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 A ⊆ B and B ⊆ C, then A ⊆ C
- A = {Calculus students}
- B = {Math majors}
- C = {All students}
- A ⊆ B ⊆ C, so A ⊆ C
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 A ⊂ B, then A ≠ B (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!
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.
- A ⊆ B
- B ⊆ A
- A ⊂ B
- B ⊂ A
- B ⊆ C
- C ⊆ B
- B ⊂ C
- C ⊂ B
- B ⊆ D
- D ⊆ B
- B ⊂ D
- D ⊂ B
✅ Solution:
- True
- False
- True
- False
- True
- True
- False
- False
- True
- False
- True
- False
Let U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2}, B = {3, 4}, and C = {1, 2, 3, 4}. Decide whether each of the statements is true or false.
- A ⊆ B
- B ⊆ A
- A ⊂ B
- B ⊂ A
- A ⊆ C
- C ⊆ A
- A ⊂ C
- C ⊂ A
- A ⊆ U
- U ⊆ A
- U ⊂ A
- A ⊂ U
✅ Solution:
- False
- False
- False
- False
- True
- False
- True
- False
- True
- False
- False
- True
- Let U = {1, 2, 3, 4, 5, 6}, A = {3, 4, 5}, B = {1, 3, 6}, C = {3, 4, 5, 6}, and D = {1, 3, 6}. Decide whether each of the statements is true or false.
- A ⊆ C
- C ⊆ A
- A ⊂ C
- C ⊂ A
- B ⊆ D
- D ⊆ B
- B ⊂ D
- D ⊂ B
- A ⊆ B
- B ⊂ A
- A ⊂ U
- 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.



