Definition:Countable Set/Definition 2

Definition
Let $S$ be a set.

Then $S$ is countable iff it is finite or countably infinite.