What Are the Main Types of Sets?
There are nine types worth naming. The first group is about size (how many elements), the second about relationships (how one set sits against another).
By size:
Empty (null) set: has no elements. Written $\varnothing$ or ${,}$. Example: the set of real solutions to $x^2 = -1$ is $\varnothing$.
Singleton (unit) set: has exactly one element. Example: ${0}$, or the set of even prime numbers ${2}$.
Finite set: has a countable, definite number of elements. Example: ${a, e, i, o, u}$ has five elements.
Infinite set: has unending elements. Example: the natural numbers $\mathbb{N} = {1, 2, 3, \dots}$.
By relationship:
Equal sets: same elements, regardless of order or repetition: ${1, 2, 3} = {3, 1, 2}$.
Equivalent sets: same number of elements, not necessarily the same elements: ${a, b, c}$ and ${1, 2, 3}$ are equivalent because both have three.
Subset: every element of one set is also in another: ${1, 2} \subseteq {1, 2, 3}$. (See the dedicated piece on subsets for proper subsets and supersets.)
Universal set: the set $U$ containing every element under discussion; all other sets are subsets of it.
Power set: the set of all subsets of a set, written $P(A)$.
Two sets that share no elements at all, like ${1, 2}$ and ${5, 6}$, are disjoint, and two that share some but not all are overlapping. Those two relationships sit naturally on top of the nine above.
Is the empty set finite?
Yes. The empty set $\varnothing$ has zero elements, and zero is a definite count, so $\varnothing$ is finite, and it is a subset of every set. That single fact trips up more students than any other in this topic; we come back to it in the mistakes section. A fuller treatment lives in the article on the empty set.
Examples of Types of Sets
Example 1
Classify $A = {x : x \text{ is a month with 32 days}}$.
No month has 32 days.
So $A$ contains no elements.
$A = \varnothing$, an empty set.
Final answer: empty (null) set.
Example 2
A student is asked whether ${2, 4, 6}$ and ${2, 2, 4, 6, 6}$ are equal. They count elements, five versus three, and answer "no, not equal."
Here is the wrong path, and it is worth walking. The second listing looks longer, so the instinct is to call the sets different.
Take a closer look. A set holds only distinct objects, so repeats collapse: ${2, 2, 4, 6, 6}$ is just ${2, 4, 6}$.
Both sets are ${2, 4, 6}$.
They have exactly the same elements.
Final answer: the sets are equal, repetition does not create new elements.
Example 3
Are $X = {\text{vowels in "EQUAL"}}$ and $Y = {1, 2, 3}$ equivalent?
List $X$: the vowels in "EQUAL" are E, U, A.
$X = {E, U, A}$, which has three elements.
$Y$ has three elements.
Equal element count, different elements.
Final answer: $X$ and $Y$ are equivalent but not equal.
Example 4
Is ${1, 2}$ a subset of ${1, 2, 3, 4}$? Is it a proper subset?
Check each element of ${1, 2}$: is $1 \in {1,2,3,4}$? Yes. Is $2$? Yes.
Every element is present, so ${1, 2} \subseteq {1, 2, 3, 4}$.
Because ${1, 2, 3, 4}$ has elements not in ${1, 2}$, it is also a proper subset: ${1, 2} \subset {1, 2, 3, 4}$.
Final answer: yes to both.
Example 5
Write the power set of $B = {a, b}$ and state its size.
List every subset of $B$, including $\varnothing$ and $B$ itself:
$\varnothing,\ {a},\ {b},\ {a, b}$.
$P(B) = {\varnothing,\ {a},\ {b},\ {a, b}}$.
Count: $4$ subsets, which matches $2^n = 2^2 = 4$.
Final answer: $P(B) = {\varnothing, {a}, {b}, {a, b}}$, with $4$ elements. The full $2^n$ logic is derived in the power set article.
Example 6
For the universal set $U = {1, 2, 3, 4, 5, 6}$ and $A = {2, 4, 6}$, name the type of $A$ relative to $U$, and find the complement of $A$.
Every element of $A$ lies in $U$, so $A$ is a subset of the universal set $U$.
The complement $A'$ holds everything in $U$ that is not in $A$:
$A' = {1, 3, 5}$.
Final answer: $A \subseteq U$; $A' = {1, 3, 5}$. Complements always live inside a universal set, which is why you have to fix $U$ first.
Why Naming the Type Comes Before Anything Else
"Why bother labelling a set before doing anything with it?" Because the type controls which operations are even legal.
The empty set anchors logic. A claim with no examples ("a month with 32 days") resolves to $\varnothing$, and $\varnothing$ being a subset of everything is what lets proofs start from nothing and build up.
Finite versus infinite decides your method. You can list a finite set; you must describe an infinite one (set-builder notation, ${x : \dots}$). Confuse the two and you try to write out the integers, and never finish.
Equivalence underpins counting itself. Two sets being equivalent (same size) is how mathematicians compare infinities; the reason there are "as many" even numbers as whole numbers traces straight back to equivalent sets.
Cantor pushed exactly this idea to its edge and proved that the power set of any set is strictly larger than the set, which is how he showed some infinities are bigger than others. You can read the historical account of Cantor's diagonal argument for the full story. The point for now: the type isn't bookkeeping. It is the thing that tells you what you are allowed to do next.
The Comparisons Students Mix Up Most
Three pairs cause nearly all the trouble in this topic. Each is a comparison, not a single idea, which is exactly why they slip.
Mistake 1: Treating "equal" and "equivalent" as the same word
Where it slips in: any question that asks you to compare two sets by sight.
Don't do this: see two sets of the same size and call them equal. The memorizer who learned "equal means matching" will mark ${a, b, c}$ and ${1, 2, 3}$ as equal.
The correct way: equal demands the same elements; equivalent demands only the same count. Same elements is the stricter condition, so every pair of equal sets is equivalent, but not the reverse.
Mistake 2: Thinking the empty set and the singleton ${\varnothing}$ are the same
Where it slips in: power-set and subset questions.
Don't do this: write $\varnothing = {\varnothing}$. The first instinct is that "a set with nothing in it" and "a set containing the empty set" must be identical.
The correct way: $\varnothing$ has zero elements; ${\varnothing}$ has one element (the empty set is that element). One is empty, the other is a singleton. The cleanest tell: the empty set is the single thing you can drop into another set without adding a number to the count of nested braces, and the moment it sits inside braces, you have a singleton.
Mistake 3: Forgetting the universal set when taking a complement
Where it slips in: complement and "everything else" questions.
Don't do this: the rusher computes $A'$ without writing down $U$ first, then invents elements that were never in play.
The correct way: a complement only means something relative to a fixed $U$. Pin down the universal set, then $A'$ is whatever in $U$ is left over. The skipped step here, naming $U$, is the exact step where the wrong answer enters; it feels optional and never is.
Conclusion
The types of sets split into size-based names (empty, singleton, finite, infinite) and relationship-based names (equal, equivalent, subset, universal, power set).
A set holds only distinct elements, so repetition never changes a set's identity, ${2,2,4}$ is just ${2,4}$.
Equal means same elements; equivalent means same count, the single most-confused pair.
The empty set $\varnothing$ is finite and is a subset of every set; ${\varnothing}$ is a singleton, not the empty set.
A complement only exists relative to a stated universal set, so fix $U$ before computing $A'$.
A Practical Next Step
Work through these to lock the types in: (1) classify ${x : x^2 = 4,\ x \in \mathbb{N}}$, (2) decide whether ${p, q}$ and ${q, p, p}$ are equal, equivalent, or both, and (3) write the power set of ${1, 2, 3}$ and confirm it has $2^3 = 8$ members. If the power-set step feels shaky, reread Example 5 before moving on. To build this foundation with a live teacher, explore Bhanzu's algebra tutor, help with algebra sessions, or math classes online. Want a Bhanzu trainer to walk through set classification with your child? Book a free demo class.
Read More
Was this article helpful?
Your feedback helps us write better content