A set is countably infinite if there is a bijection between and .
As the name implies, any countably infinite set is both countable and infinite.
Countably infinite sets are also sometimes called denumerable.