Countable

Revision as of 12:15, 29 June 2006 by JBL (talk | contribs)

A set $S$ is said to be countable if there is an injection $f:S\to\mathbb{Z}$. Informally, a set is countable if it has at most as many elements as does the set of integers. The countable sets can be divided between those which are finite and those which are countably infinite.

The name "countable" arises because the countably infinite sets are exactly those which can be put into bijection with the natural numbers, i.e. those whose elements can be "counted."

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