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.
What is the Subset formula?
A \subseteq B \Leftrightarrow \forall x\,(x \in A \Rightarrow x \in B)
When do you use Subset?
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.
Cross-Subject Connections
Visualization
StaticVisual representation of Subset