Yes. By definition, an infinite set is countably infinite if a one-to-one correspondence exists between their elements and the set of natural numbers N. Read more