Definition

We call a set $X$ countably infinite if there exists an 1-1 function $f: N\to x$, where $N$ is positive integers.