- Home
- /
- Math
- /
- Sets & Logic
- /
- Subset
Set A is a subset of set B if every element of A is also an element of B, written A \subseteq B. Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.
Definition
Set A is a subset of set B if every element of A is also an element of B, written A \subseteq B.
๐ก Intuition
Every single thing in A can also be found inside B. Think of A as fitting entirely within B, like a small circle inside a big one.
๐ฏ Core Idea
A \subseteq B means: for every x, if x \in A then x \in B. Equivalently, A \cap B = A.
Example
Formula
Notation
A \subseteq B means A is a subset of B
๐ Why It Matters
Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.
๐ญ Hint When Stuck
Try picking each element of A one at a time and checking if it appears in B. If every single one passes, A is a subset of B.
Formal View
๐ง Common Stuck Point
\emptyset (empty set) is a subset of every set. Every set is a subset of itself.
โ ๏ธ Common Mistakes
- Thinking \subseteq means 'strictly smaller' โ a set is always a subset of itself (A \subseteq A)
- Denying that \emptyset \subseteq A โ the empty set is a subset of every set (vacuously true)
- Confusing \subseteq with \in โ \{1\} \subseteq \{1, 2\} is about sets, 1 \in \{1, 2\} is about elements
Go Deeper
Frequently Asked Questions
What is Subset in Math?
Set A is a subset of set B if every element of A is also an element of B, written A \subseteq B.
Why is Subset important?
Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.
What do students usually get wrong about Subset?
\emptyset (empty set) is a subset of every set. Every set is a subset of itself.
What should I learn before Subset?
Before studying Subset, you should understand: set, element.
Cross-Subject Connections
Visualization
StaticVisual representation of Subset