countable

A set $S$ is countable if there exists a bijection between $S$ and some subset of $\mathbb{N}$.

All finite sets are countable.