Definition:Countable Set/Definition 1

Definition
Let $S$ be a set. $S$ is countable there exists an injection:
 * $f: S \to \N$

Also see

 * Equivalence of Definitions of Countable Set