Superset

Superset

Set C is a superset of set D if set C contains all of the elements (if any) of set D. This is written C ⊃ D.

Note: Every set is a superset of the empty set.

Venn diagram showing oval A containing oval B, labeled A⊃B. Example: {1,2,3}⊃{1,3}

See also

Key Formula

C \supseteq D \iff \text{for every } x,\ x \in D \Rightarrow x \in C

Where:

$C$ = The superset — the larger or equal set that contains all elements of D
$D$ = The subset — the set whose elements are all contained in C
$x$ = An arbitrary element being tested for membership
$\supseteq$ = The superset symbol, read as 'is a superset of'

Worked Example

Problem: Let C = {1, 2, 3, 4, 5} and D = {2, 4}. Determine whether C is a superset of D.

Step 1: List the elements of D that must appear in C.

D = \{2, 4\}

Step 2: Check whether 2 is in C. Yes, 2 ∈ {1, 2, 3, 4, 5}.

2 \in C \quad \checkmark

Step 3: Check whether 4 is in C. Yes, 4 ∈ {1, 2, 3, 4, 5}.

4 \in C \quad \checkmark

Step 4: Every element of D is found in C, so C is a superset of D.

C \supseteq D

Answer: Yes, C = {1, 2, 3, 4, 5} is a superset of D = {2, 4}.

Another Example

This example shows the edge case where the superset and the subset are the same set, illustrating that ⊇ allows equality (just as ≥ allows equality for numbers).

Problem: Let A = {red, blue, green} and B = {red, blue, green}. Is A a superset of B?

Step 1: List the elements of B: red, blue, green.

B = \{\text{red, blue, green}\}

Step 2: Check each element of B against A. Red ∈ A, blue ∈ A, green ∈ A — all present.

\text{red} \in A,\quad \text{blue} \in A,\quad \text{green} \in A

Step 3: Every element of B is in A, so A ⊇ B. Notice that A and B are actually equal. A set is always a superset of itself.

A \supseteq B \quad \text{and} \quad A = B

Answer: Yes, A is a superset of B. When two sets are equal, each is a superset of the other.

Frequently Asked Questions

What is the difference between a superset and a proper superset?

A superset (C ⊇ D) means C contains all elements of D, and C may equal D. A proper superset (C ⊋ D) means C contains all elements of D and at least one additional element that D does not have. The distinction mirrors the difference between ≥ and > for numbers.

Is every set a superset of the empty set?

Yes. The empty set ∅ has no elements, so the condition 'every element of ∅ is in C' is automatically true for any set C. This is called a vacuous truth. Therefore every set, including ∅ itself, is a superset of ∅.

What does the superset symbol ⊇ look like and how do you read it?

The superset symbol ⊇ looks like a U-shape opening to the left with a line underneath. You read C ⊇ D as 'C is a superset of D.' The symbol without the bottom line, ⊃, is sometimes used for proper superset, though conventions vary by textbook.

Superset (⊇) vs. Subset (⊆)

	Superset (⊇)	Subset (⊆)
Definition	C contains all elements of D	D is contained entirely within C
Notation	C ⊇ D	D ⊆ C
Direction of containment	The larger or equal set is written first	The smaller or equal set is written first
Equivalence	C ⊇ D means the same as D ⊆ C	D ⊆ C means the same as C ⊇ D
Analogy to numbers	Like ≥ (greater than or equal to)	Like ≤ (less than or equal to)

Why It Matters

You encounter supersets whenever you classify or organize groups of objects — for instance, the set of all quadrilaterals is a superset of the set of all rectangles. In probability, understanding superset relationships between events helps you determine whether one event guarantees another. Superset notation also appears frequently in algebra, logic, and computer science when defining domains and data types.

Common Mistakes

Mistake: Confusing the direction of the superset symbol: writing D ⊇ C when you mean C ⊇ D.

Correction: Remember that the open side of ⊇ faces the larger set. If C contains D, write C ⊇ D (the 'mouth' opens toward C, the bigger set). This mirrors how > points its open side toward the larger number.

Mistake: Thinking a superset must be strictly larger than the other set.

Correction: The symbol ⊇ allows the two sets to be equal, just as ≥ allows equality. If you need the superset to have extra elements, use the proper superset symbol ⊋ (or ⊃, depending on your textbook's convention).

Related Terms

Set — The fundamental object that supersets are built from
Element of a Set — Membership of elements defines superset relationships
Empty Set — Every set is a superset of the empty set
Subset — The reverse relationship: D ⊆ C means C ⊇ D
Venn Diagrams — Visual tool for showing superset and subset relationships