Superset — Definition, Symbol, and Examples
Superset — Definition, Symbol, and Examples
TL;DR
A superset is a set that contains every element of another set: if every element of AAA is in BBB, then BBB is a superset of AAA, written B⊇A. This article covers the superset symbol, proper versus improper supersets, and how superset mirrors subset — with worked examples.
What Is a Superset?
A set BBB is a superset of a set AAA if BBB contains every element of AAA. Written in symbols, B⊇A, read "BBB is a superset of AAA" or "BBB contains AAA."
Superset and subset are two views of the same fact. Saying B⊇A (B is a superset of A) is exactly the same as saying A⊆B (A is a subset of B). Nothing changes about the sets — only which one you name first.
Superset symbol: ⊇ means "superset of or equal to"; ⊃ means "proper (strict) superset of."
Proper vs Improper Superset
The two superset symbols mark a real difference, and it is the same distinction as ≥ versus > for numbers.
An improper superset uses ⊇ and allows equality. B⊇A is true even when BBB and AAA are the same set. Every set is an improper superset of itself.
A proper (strict) superset uses ⊃ and forbids equality. B⊃A requires BBB to contain every element of AAA and at least one extra element that AAA does not have, so BBB is strictly larger.
| Relationship | Symbol | Equality allowed? | Meaning |
|---|---|---|---|
| Improper superset | B⊇A | Yes | BBB contains all of AAA, possibly equal |
| Proper superset | B⊃A | No | BBB contains all of AAA and is strictly larger |
For example, {1,2,3}⊇{1,2,3} is true (improper), but {1,2,3}⊃{1,2,3} is false, because the two sets are equal and neither has an extra element.
Examples of Superset
Example 1
If A={1,2} and B={1,2,3,4}, is BBB a superset of AAA?
Check every element of AAA. 1∈B? Yes. 2∈B? Yes.
Every element of AAA is in BBB, so B⊇A. BBB is a superset of AAA.
Example 2
A student sees A={1,2,3} and B={1,2} and writes A⊇B and also B⊇A. Are both correct?
The student reasons that supersets go "both ways." Watch it break. For B⊇A to hold, every element of AAA must be in BBB. But 3∉B, so B⊇A is false. The correct way: every element of BBB is in AAA, so A⊇B is true, but B⊇A is false.
Example 3
If A={1,2,3} and B={1,2,3}, is BBB a superset of AAA?
Every element of AAA is in BBB (they are identical). So B⊇A is true, but B⊃A (proper) does not hold.
Example 4
Is the set of natural numbers N a superset of the set of even numbers E={2,4,6,…}?
Every even number is a natural number. So N⊇E, and since N contains odd numbers too, N⊃E (a proper superset).
Example 5
How many supersets does A={1} have inside the universal set U={1,2,3}?
A superset of AAA must contain 1 and may contain any combination of the remaining elements 2,3. There are 2 leftover elements, leading to 4 choices. The supersets are {1}, {1,2}, {1,3}, {1,2,3}: that is 4 supersets within U.
Example 6
Is every set a superset of the empty set ∅?
The empty set has no elements to check. Yes — every set is a superset of the empty set. And every set is a superset of itself.
Why the Superset Idea Matters
The superset relation is the backbone of how mathematics organizes "bigger" and "smaller" collections.
Number systems nest as supersets. The reals are a superset of the rationals, which are a superset of the integers, which are a superset of the naturals: R⊇Q⊇Z⊇N.
The universal set is the ultimate superset. In any problem, the universal set is a superset of every set under discussion.
Supersets have no upper limit. Any set has infinitely many supersets, because you can always add one more element and get a larger one.
Properties of Supersets
- Reflexive: every set is a superset of itself.
- Superset of the empty set: every set is a superset of ∅, because ∅ has no element that could fail the test.
- Transitive: if A⊇B and B⊇C, then A⊇C.
- Antisymmetric: if A⊇B and B⊇A, then A=B.
- Mirror of subset: B⊇A holds exactly when A⊆B.
- Unbounded count: every set has infinitely many supersets.
- Counting within a universe: in a universal set of n elements, a set of k elements has 2^{n-k} supersets.
Where Supersets Trip Students Up
Mistake 1: Reading the symbol backwards
The open side of the symbol faces the larger set.
Mistake 2: Assuming superset means strictly bigger
The correct way: ⊇ allows equality (improper superset); only ⊃ demands strictly larger.
Mistake 3: Forgetting the empty-set case
The condition holds vacuously — there is no element of ∅ that could fail the test.
Conclusion
- A superset B⊇A contains every element of AAA.
- The symbol ⊇ allows equality; ⊃ marks a strict (proper) superset.
- Every set is a superset of itself and of the empty set.
- Number systems nest in a superset chain: R⊇Q⊇Z⊇N.
- The open side of the symbol always faces the larger set.