Finiteness

Finiteness is the mathematical property of being finite, that is, of having a definite, limited size rather than going on without end, and it is one of the most basic distinctions drawn across nearly every branch of mathematics, contrasted with the property of being infinite. For sets, finiteness is usually defined by whether a set can be placed in a one-to-one correspondence with the natural numbers up to some fixed number, an approach formalized within set theory alongside the alternative Dedekind-finiteness, a definition proposed by the German mathematician Richard Dedekind that does not presuppose the natural numbers and turns out to coincide with ordinary finiteness once the axiom of choice is assumed. Beyond sets, finiteness is a controlling property of many other structures: a finite group has only finitely many elements, a finitely generated object can be built from a limited starting set under some fixed operations, and a finite-dimensional vector space has a finite basis, with each of these finiteness conditions strongly restricting what kind of structure or behavior is possible. Because so many theorems that hold for finite structures fail for infinite ones, or must be reformulated substantially to apply to them, establishing whether a given mathematical object is finite is frequently one of the first and most consequential questions asked about it.