If a set can be put into a one to one correspondence with the positive integers or a subset of them it is known as countable.
If such a set has an infinite number of elements, such as the set of positive even numbers for example, it is known as countably infinite.