Countable infinity refers to a type of infinity where the elements can be put into a one-to-one correspondence with the natural numbers, indicating that they can be counted, even if they are infinite. This concept is fundamental in set theory and demonstrates that not all infinities are the same size, with countable infinity being smaller than uncountable infinity.