What Are Finite And Infinite Sets?
Finite and infinite sets are the two groups every set falls into, decided by whether you can finish counting its elements. A finite set has a fixed number of elements, so its count comes to an end at a whole number. An infinite set never runs out, so the count goes on without stopping.
Every collection in math is one or the other. The set of days in a week is finite; the set of all counting numbers is infinite. Sorting a set into finite or infinite is one of the first moves in the wider study of types of sets.
Two sets run through this article. Let $A = {2, 4, 6, 8}$, the even numbers below ten, and let $\mathbb{N} = {1, 2, 3, 4, \dots}$, the counting numbers. One of them stops. The other does not.
What Is A Finite Set?
A finite set is a set with a definite number of elements, a count that ends at some whole number. That whole number is the set's cardinality, written $n(A)$ for a set named $A$.
Take the set of vowels, $V = {a, e, i, o, u}$. Count the elements and you stop at five, so $n(V) = 5$. For the running example $A = {2, 4, 6, 8}$, the count ends at four, so $n(A) = 4$.
Size does not change the answer. The set of all grains of sand on Earth is unthinkably large, yet the count still ends at some exact whole number, so it is finite. Reading the cardinality of a set is just answering one question: how many elements does it hold?
Is The Empty Set Finite Or Infinite?
The empty set, written $\varnothing$ or ${}$, is finite. It holds no elements at all, so its cardinality is zero: $n(\varnothing) = 0$.
Zero is a whole number, and the count clearly ends because there was nothing to count. So the empty set fits the definition of a finite set exactly. A set does not need elements to be finite. It only needs its count to stop.
What Is An Infinite Set?
An infinite set is a set whose elements never run out, so no whole number can give its count. The clearest example is the set of natural numbers $\mathbb{N} = {1, 2, 3, 4, \dots}$, where the three dots mean the list continues forever.
Other everyday infinite sets include the whole numbers, the integers $\mathbb{Z} = {\dots, -2, -1, 0, 1, 2, \dots}$, and every point on a line. Each one keeps going past any value you could name.
An infinite set has no whole-number cardinality. Writing $n(A) = \infty$ is a shorthand for that fact, not a real count, because infinity is not a number you reach by counting.
How Do You Find The Cardinality Of A Set?
To find the cardinality of a set, list its distinct elements and count them. The result is $n(A)$, a single whole number for any finite set.
Example 1: Find $n(B)$ for $B = {3, 5, 5, 7, 9}$.
The value $5$ is written twice, but a set never counts the same element twice. The distinct elements are $3, 5, 7, 9$, so $n(B) = 4$, not $5$. This small rule about repeats is where a lot of marks quietly disappear.
What Is The Difference Between Countable And Uncountable Infinite Sets?
Not every infinity is the same size. A countably infinite set can be matched one for one with the natural numbers, so its elements could in principle be listed in a sequence. An uncountable set is too large for any such list.
The even numbers look smaller than the naturals, yet they are countably infinite. Pair each natural number $n$ with the even number $2n$, giving $1 \leftrightarrow 2$, $2 \leftrightarrow 4$, $3 \leftrightarrow 6$, and so on forever. Nothing is left out on either side, so the two sets have the same size.
That matching is called a one-to-one correspondence, and it is the tool that measures infinite sets. The integers and the rational numbers are countably infinite for the same reason. All of these share one size, which mathematicians label $\aleph_0$ (aleph-null).
The real numbers break the pattern. Georg Cantor proved in 1874 that the reals cannot be listed against the naturals, no matter how clever the list. There are strictly more real numbers than counting numbers, so the reals are uncountable, a larger infinity than $\aleph_0$.
Table: Which infinite sets are countable.
Set | Countable? | Size |
|---|---|---|
Natural numbers $\mathbb{N}$ | Countably infinite | $\aleph_0$ |
Integers $\mathbb{Z}$ | Countably infinite | $\aleph_0$ |
Rational numbers $\mathbb{Q}$ | Countably infinite | $\aleph_0$ |
Real numbers $\mathbb{R}$ | Uncountable | Larger than $\aleph_0$ |
What Are The Differences Between Finite And Infinite Sets?
The two kinds of set differ on more than their count. One can be written out in full; the other can only be described by a rule and an ellipsis.
Table: Finite sets versus infinite sets at a glance.
Feature | Finite Set | Infinite Set |
|---|---|---|
Number of elements | Ends at a whole number | Never ends |
Cardinality $n(A)$ | A whole number, like $0, 5, 12$ | Not a whole number |
Can be listed in full | Yes | No, only started with $\dots$ |
Roster form | ${a, e, i, o, u}$ | ${1, 2, 3, 4, \dots}$ |
Example | Letters of the alphabet | Points on a line |
Both finite and infinite sets have subsets. One neat difference sits in the power set: the power set of a finite set is itself finite, while the power set of an infinite set is a strictly larger infinity.
How Do You Tell A Finite Set From An Infinite Set?
To tell a finite set from an infinite set, ask one question: does the counting stop? If you can name a last element or state an exact count, the set is finite. If the elements continue without end, it is infinite.
Look for an ending. A set with a clear last element, like the days in a week, is finite.
Watch the three dots. An ellipsis that never closes, as in ${1, 2, 3, \dots}$, signals an infinite set.
Do not be fooled by size. A set can be huge and still finite, as long as its count reaches an end.
A Venn diagram helps here. A finite set shows up as a bounded patch of dots you could count, drawn inside the universal set for the problem.
Why Do Infinite Sets Matter?
Infinite sets are not a curiosity bolted onto the end of a chapter. They are what let mathematics describe processes that never stop and quantities with no largest value.
Counting needs an endless supply. The naturals have to be infinite, because if counting stopped at some last number, you could always add one more.
Measurement needs the reals. Length, time, and temperature vary smoothly, and capturing every in-between value takes the uncountable set of real numbers, not just the whole numbers.
Limits and calculus lean on infinity. The idea of getting closer and closer forever, which your child meets later in calculus, only makes sense against an infinite set of values.
Take away infinite sets and most of higher mathematics has nothing to stand on. The concept earns its place precisely because the world it models does not come in tidy, finite pieces.
Who Discovered The Sizes Of Infinity?
For most of history, infinity was treated as one vague idea, a single "goes on forever." One mathematician broke it open and showed there is a whole ladder of infinities, each larger than the last.
Two mathematicians shaped how we think about the sizes of sets:
Georg Cantor (1845–1918, born in St Petersburg, worked in Germany) founded set theory and proved the reals are uncountable with his diagonal argument.
Richard Dedekind (1831–1916, Germany) gave one of the first exact definitions of an infinite set: a set is infinite when it can be matched one for one with a part of itself, exactly the trick that pairs the naturals with the even numbers.
Where Are Finite And Infinite Sets Used In The Real World?
The same split between "ends" and "never ends" shows up far outside the maths classroom.
Databases: a table holds a finite set of rows, and its cardinality is what a "count the records" query returns.
Digital screens: a screen draws a finite set of pixels, while the smooth shape it approximates lives in the infinite set of real coordinates.
Probability: rolling a die has a finite sample space of six outcomes, while a spinner that can stop at any angle has an infinite one.
Theory of computation: the set of all possible computer programs is countably infinite, and that fact is how we know some problems no program can ever solve.
One idea, whether a collection ever ends, reaches from a single spreadsheet cell to the outer limits of what any computer can do.
What Are The Most Common Finite And Infinite Sets Mistakes?
Three errors cause most of the confusion on this topic. Each one is easy to fix once you see where it starts.
Calling a very large finite set infinite.
Where it slips in:
A set with an enormous number of elements, like the grains of sand on Earth or the atoms in the universe, gets labelled infinite because it feels impossible to count.
Don't do this:
Do not treat "too big to count by hand" as the same as infinite.
The correct way:
Ask whether an exact last element exists. If some whole number, however huge, gives the count, the set is finite. Only a count with no end at all is infinite.
Thinking all infinite sets are the same size.
Where it slips in:
Once a set is called infinite, it is tempting to assume every infinite set matches every other in size.
Don't do this:
Do not assume the real numbers and the natural numbers are the same size just because both go on forever.
The correct way:
Compare by one-to-one correspondence. The naturals, integers, and rationals are countably infinite (all size $\aleph_0$), but the real numbers are uncountable, a strictly larger infinity.
Miscounting the cardinality.
Where it slips in:
Repeated elements get counted twice, or the empty set is given a cardinality of one instead of zero.
Don't do this:
Do not count any element more than once, and do not confuse ${\varnothing}$ with the empty set itself.
The correct way:
List the distinct elements first, then count. Note that $n(\varnothing) = 0$, while $n({\varnothing}) = 1$, because the second set contains one element, which happens to be the empty set.
Practice Problems On Finite And Infinite Sets
Answers follow each problem.
State whether the set of months in a year is finite or infinite.
(Answer: finite, $n = 12$.)Find the cardinality of $C = {a, b, a, c, b}$.
(Answer: distinct elements are $a, b, c$, so $n(C) = 3$.)Is the set of multiples of five, ${5, 10, 15, \dots}$, finite or infinite?
(Answer: infinite.)Is the empty set finite or infinite, and what is its cardinality?
(Answer: finite, and $n(\varnothing) = 0$.)Is the set of real numbers between $0$ and $1$ finite, countably infinite, or uncountable?
(Answer: uncountable.)True or false: a set with one billion elements is infinite.
(Answer: false, it is finite, just very large.)
Where Should You Go Next After Finite And Infinite Sets?
Sorting sets by size opens onto the rest of set theory, where the real work is combining and comparing collections.
Types of sets. Empty, singleton, equal, and equivalent sets, each defined by a property such as its cardinality.
Cardinality. Go deeper on counting elements and comparing set sizes, including how counts behave for subsets.
Operations on sets. Union, intersection, and difference, where finite and infinite sets start to interact.
If your child is meeting sets for the first time, a live Bhanzu trainer builds the idea from plain counting up to the sizes of infinity in the Bhanzu algebra program.
Was this article helpful?
Your feedback helps us write better content