Definition:Countable Set

An infinite set is described as countable if its elements can be placed in one-to-one correspondence with the elements of $\mathbb{N}$, that is, if it can be shown that it is possible to exhaustively number its elements.