\begin{definition}[Definition:Countable Set/Definition 3]
Let $S$ be a set.
$S$ is '''countable''' {{iff}} 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.
\end{definition}