Definition:Countable Set/Definition 3

Definition
Let $S$ be a set. $S$ is countable there exists a bijection between $S$ and a subset of $\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