Overview

The adjective "finite" describes anything that has an end, a limit, or a measurable, countable size. In ordinary speech it often means temporary or limited in amount—something that will stop or can be fully counted. The opposite concept is "infinite," which denotes no end or unbounded extent.

Mathematical meaning

In mathematics, finiteness has a precise definition. A set is called finite if its elements can be put into a one-to-one correspondence with the first n natural numbers for some nonnegative integer n. The number n is the cardinality of the set. Finite sets contrast with infinite sets, which cannot be matched to any finite initial segment of the natural numbers. Many areas of mathematics distinguish between finite, countably infinite and uncountable sets.

Common uses and examples

Outside mathematics, "finite" labels quantities, processes, and resources that are limited. Examples include:

  • Time-limited processes (a meeting has a finite duration).
  • Material resources (a battery has a finite charge, a shipment contains a finite number of items).
  • Discrete collections (a deck of playing cards, a list of names).

Computing, logic and science

Finiteness is important in theoretical computer science and logic. A finite state machine has a limited number of states; an algorithm is said to terminate if it finishes after a finite number of steps. Practical engineering and experimental science also treat many systems as finite for modeling and measurement, even when questions about the ultimate finiteness of the universe remain open.

History and philosophical notes

The distinction between the finite and the infinite has long appeared in philosophy and mathematics. Ancient thinkers debated whether magnitudes and time were indefinitely divisible. Over centuries, formal treatments of finiteness in arithmetic, set theory and algebra clarified how the finite differs from various kinds of infinity and why that distinction matters.

Notable distinctions

"Finite" should not be conflated with "bounded" or "small": a finite set can be very large but still have a definite number of elements. In contrast, boundedness refers to numerical limits, and discreteness to the nature of elements. Recognizing these differences helps in proofs, computation, and everyday reasoning about limits and scope.