countable

A set is countable if it is finite or has a bijection to the natural numbers.

A set which is countable and not finite is countably infinite. Such a set has cardinality ${\mathrm{\aleph }}_0$.