Infinite

Revision as of 16:46, 20 July 2006 by JBL (talk | contribs)

This article is a stub. Help us out by expanding it.


A set $S$ is said to be infinite if there is a surjection $f:S\to\mathbb{Z}$. If this is not the case, $S$ is said to be finite.

In simplified language, a set is infinite if it doesn't end, i.e. you can always find another element that you haven't examined yet.

Equivalent formulations

  • A set is infinite if it can be put into bijection with one of its proper subsets.
  • A set is infinite if it is not empty and cannot be put into bijection with any set of the form $\{1, 2, \ldots, n\}$ for a positive integer $n$.