countable A set is called countable if it can be placed into a one-to-one correspondence with some subset of the natural numbers. Thus every finite set is countable, and many infinite sets.