Definition:Countably Infinite

Definition
Let $S$ be a set.

Then $S$ is countably infinite iff there is a bijection $f: S \to \N$, where $\N$ is the set of natural numbers.

Also see

 * Definition:Countable Set