Finite
Finite
Describes a set which does not have an infinite number of elements. That is, a set which can have its elements counted using natural numbers.
Formally, a set is finite if its cardinality is a natural number.
See also
Example
Problem: Determine whether the set A = {2, 4, 6, 8, 10} is finite or infinite, and state its cardinality.
Step 1: List and count the elements of set A.
A={2,4,6,8,10}
Step 2: The elements are 2, 4, 6, 8, and 10. There are exactly 5 elements.
∣A∣=5
Step 3: Since 5 is a natural number, the set A is finite by definition. You can finish counting its elements — there is a last one (10).
Answer: The set A is finite with cardinality 5.
Another Example
Problem: Is the set B = {x ∈ ℕ : x is a prime number less than 20} finite or infinite?
Step 1: Identify all prime numbers that are natural numbers less than 20.
B={2,3,5,7,11,13,17,19}
Step 2: Count the elements. There are exactly 8 primes less than 20.
∣B∣=8
Step 3: Since 8 is a natural number, set B is finite. Note that the set of all prime numbers (without the restriction) would be infinite.
Answer: The set B is finite with cardinality 8.
Frequently Asked Questions
Is zero finite?
Yes, zero is a finite number. It is a specific, well-defined value on the number line. The empty set, which has 0 elements, is also considered finite — its cardinality is 0, which is a natural number (or whole number, depending on convention).
Can a finite set be really large?
Absolutely. A set with a trillion elements is still finite because its size is a definite natural number. Finite does not mean small — it means bounded. No matter how large the number is, as long as you could theoretically finish counting, the set is finite.
Finite vs. Infinite
A finite set has a cardinality that is a natural number — you can count all its elements and eventually stop. An infinite set has no end to its elements; its cardinality is not a natural number. For example, {1, 2, 3} is finite (3 elements), while the set of all natural numbers {1, 2, 3, ...} is infinite because the counting never terminates.
Why It Matters
The distinction between finite and infinite is foundational across all of mathematics. Many formulas and techniques — such as adding up all terms in a sum or checking every element of a set — only work directly when the quantity involved is finite. Understanding finiteness also matters in real-world applications: computers can only store finite amounts of data, and any physical measurement yields a finite value.
Common Mistakes
Mistake: Thinking that "finite" means "small."
Correction: A set with a billion elements is still finite. Finite simply means the count of elements is some definite natural number, regardless of how large that number is.
Mistake: Confusing a finite set with a bounded set of numbers.
Correction: Bounded refers to the values of elements (they don't exceed some limit), while finite refers to the count of elements. The set {1, 1000000} is finite (2 elements) even though its elements span a wide range. Conversely, the set of all real numbers between 0 and 1 is bounded but infinite.
Related Terms
- Set — A collection whose size may be finite
- Infinite — The opposite: a set that is not finite
- Element of a Set — Individual objects contained in a set
- Natural Numbers — The counting numbers used to measure finite size
- Cardinality — The number of elements in a set
- Infinity — A concept describing unbounded quantity
- Cardinal Numbers — Numbers that express the size of sets