Countable Set

set-theory

Definition

Cantor's Theorem

An infinite set $S$ is called countable if there exists a bijective mapping from $\mathbb{N}$ (the Natural Numbers) to $S$.