Skip to content
Home

Finite set (mathematics)

A finite set is a collection with a specific, limited number of elements. This article explains definitions, common characterizations, examples, historical context and why finite sets matter in mathematics and computer science.

Author: Created: Updated:

A finite set is a collection of distinct objects that contains a definite, limited number of elements. In elementary mathematics one typically describes a finite set by listing its elements or by specifying a natural number that equals its size. The opposite concept is an infinite set, which has no finite bound on the number of its members. Finite sets appear throughout mathematics: examples include the empty set, singletons, and sets like {1, 2, 3} or any collection that can be counted to completion.

Definitions and equivalent characterizations

There are several common ways to define finiteness. The most direct says a set is finite when its cardinality is a natural number: there exists n in the set of natural numbers such that the set has exactly n elements. Equivalently, a set with n elements is often called an n-set.

Another useful and widely used characterization is in terms of bijections: a set is finite if it can be put into one-to-one correspondence with {1, 2, …, n} for some n. A more structural definition, used in set theory, declares a set finite when it is not in one-to-one correspondence with any of its proper subsets; that is, there is no bijection between the set and a strict subset of itself. This last viewpoint connects to the idea of strict subsets and provides a way to separate finite from infinite behaviour.

Properties and examples

  • The empty set has cardinality zero and is a finite set.
  • Any subset of a finite set is finite; unions, finite Cartesian products and finite power sets remain finite. For a set of size n, its power set has size 2^n.
  • Concrete examples include sets of digits, finite graphs' vertex sets, or any finite list of objects used in counting problems.

History and context

The distinction between finite and infinite collections has been central since antiquity, with counting and lists being foundational activities. In the 19th century the formal notion of cardinality, and methods for comparing sizes of sets, were developed by mathematicians such as Cantor; these tools made the finite/infinite distinction precise and allowed a unified treatment within modern set theory. For practical work, finiteness often coincides with the ability to enumerate elements or to perform exhaustive verification.

Uses, importance and notable remarks

Finite sets play a key role in combinatorics, probability, algebra, and computer science: algorithms operate on finite inputs, data structures store finite collections, and many counting arguments assume finiteness. It is important to note that some technical foundational systems distinguish between different formal notions of finiteness; however, in ordinary mathematical practice the equivalences given above are taken for granted. For further formal background on size and counting see cardinality resources and general references on mathematical foundations. Readers can also consult introductory texts about sets and numbers via basic set theory or survey materials on infinite sets at infinite set expositions.

For concise examples and exercises that illustrate finiteness, consider lists such as {a, b, c}, the set of integers from 1 to n, and finite subsets of familiar infinite sets. For broader study topics related to finiteness and its limits, see discussions of natural numbers, bijections, and the role of proper subsets in classifying sets.

Definition

A set Mis called finite if there exists a natural number n such that a bijection (a one-to-one mapping)

{\displaystyle f\colon M\rightarrow N_{n}\quad :=\{m\in \mathbb {N} _{0}\,\mid \,m<n\}\;=\;\{0,1,2,3,\dotsc ,n-1\}}

nexists between Mand the set N_{n} of all natural numbers less than

In particular, the empty set {\displaystyle \emptyset :=\{\}}finite, since a bijection between {\displaystyle \emptyset }and the empty set {\displaystyle N_{0}}(all natural numbers less than {\displaystyle 0}, such do not exist) trivially exist.

For example, the amount

{\displaystyle M\,=\,\{4,6,2,8\}}

finite, since a bijection to the set

{\displaystyle N_{4}\,=\,\{0,1,2,3\}}

exists, see for example the figure opposite.

With this enumerative set notation, the order is not important. Furthermore, an element that is mentioned more than once is only included once. It is therefore for example

{\displaystyle M\,=\,\{4,6,2,8\}\,=\,\{2,4,6,8\}\,=\,\{4,8,6,2,6,8\}\,=\,\{4,8,6,2,6,4,6,4,6,4,6,4,\dotsc \}}.

For the set of all natural numbers

{\displaystyle \mathbb {N} _{0}=\{0,1,2,3,\dotsc \}}

on the other hand, no such bijection exists on a finite set, the set \mathbb {N} _{0}is therefore infinite.

The bijection indicated by the red arrows fshows {\displaystyle |M|=|N_{4}|}and thus the finiteness of M

Basic properties of finite sets

  • Any subset of a finite set Ais also finite.
  • In particular, if Aa finite set and B is an arbitrary set, then both the intersection A\cap Band the difference A\setminus Bfinite sets, because both are subsets of A.
  • If A,Bare finite sets, then their union A\cup Bis also finite. For their powers, {\displaystyle |A\cup B|=|A|+|B|-|A\cap B|}.
    If     Aand
    are     Bfinite and disjoint, that is, {\displaystyle A\cap B=\emptyset ,}then one has {\displaystyle |A\cup B|=|A|+|B|=|A\,{\dot {\cup }}\,B|}.
  • In general, a union of finitely many finite sets is again a finite set. Its power is given by the principle of inclusion and exclusion.
  • If Ais infinite and Bis finite, then is A\setminus Binfinite.
  • The power set {\displaystyle {\mathcal {P}}(A):=\{U\mid U\subseteq A\}}of a finite set Ahas power greater than the set itself, but is still finite; it holds {\displaystyle |{\mathcal {P}}(A)|=2^{|A|}}.
  • The Cartesian product A \times B of finite sets is finite. Its power is higher than that of all factors involved if no factor is empty and at least two factors have power greater than . 1For finite sets , A,B{\displaystyle |A\times B|=|A|\cdot |B|}. More generally, a Cartesian product of finitely many finite sets is again a finite set.

Related articles

Author

AlegsaOnline.com Finite set (mathematics)

URL: https://en.alegsaonline.com/art/34414

Share