Go backward to Set Sizes (Continued)Go up to TopGo forward to Example |

*Definition:*
A set is *countable* if it has an
*enumeration*, i.e., a bijective mapping from **N**:

Sis countable : <=>existsf:f:N->^{bijective}S.

*A criterium to distinguish "degrees of infinity".*

Author: Wolfgang Schreiner

Last Modification: December 7, 1999