# Countable subet

So, the task is to prove: Every infinite set has a infinite countable subset.

2. A set $$S$$ is countable if there exists a bijection $$\phi: \mathbb{N}\rightarrow X$$

3. The Attempt at a Solution

You can easily construct a countable subset $\{s_1,s_2,\dots\}$ wiht $s_1,s_2,\dots$ being elements of S.
Let $s_1$ be some element of S. Let inductively $s_n$ be some element of $S-\{s_1,\dots,s_{n-1}\}$.