Go backward to Set Sizes (Continued) Go up to Top Go forward to Example

Countable Sets

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

S is countable : <=> exists f: f: N ->^bijective S.

A criterium to distinguish "degrees of infinity".