Definition:Countable Set/Definition 1

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

That is, if it can be shown that it is possible to exhaustively count its elements.

Also see

 * Equivalence of Definitions of Countable Set