A set is countable if there exists a bijection between and some subset of .
All finite sets are countable.