Difference between revisions of "Finite"

 
Line 1: Line 1:
A [[set]] is said to be '''finite''' if either it is the [[empty set]] or it can be put into bijection with a set <math>\{0, 1, 2, \ldots, n\}</math> for some [[nonnegative]] [[integer]] <math>n</math>.
+
Informally, a [[set]] is said to be '''finite''' if it does not go on for ever.  That is, any set whose elements could (theoretically) be named, one by one, in a finite amount of time is finite.  Finite sets include the [[empty set]], which has zero elements, and every set with a [[positive integer]] number of elements.
  
In simpler terms, finite means to be not infinite, that is to be countable.
+
Formally, a set is finite if it is the empty set or it can be put into bijection with a set <math>\{0, 1, 2, \ldots, n\}</math> for some [[nonnegative]] [[integer]] <math>n</math>.
  
 
==See also==
 
==See also==
 
* [[Infinite]]
 
* [[Infinite]]

Latest revision as of 09:11, 7 July 2006

Informally, a set is said to be finite if it does not go on for ever. That is, any set whose elements could (theoretically) be named, one by one, in a finite amount of time is finite. Finite sets include the empty set, which has zero elements, and every set with a positive integer number of elements.

Formally, a set is finite if it is the empty set or it can be put into bijection with a set $\{0, 1, 2, \ldots, n\}$ for some nonnegative integer $n$.

See also