An infinity that is small enough to be placed in one-to-one correspondence with the natural numbers is called a ‘countable infinity’ – rather an unfortunate term, because no one can count up to infinity. But it has the connotation that every element of a countably infinite set could in principle be reached by counting those elements in some suitable order. Larger infinities are called uncountable