Definition:Countable Set/Definition 1

Definition
A set $X$ is said to be countable if there exists an injection $f: X \to \N$.

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