set-theory Definition Countably Infinite Set An infinite set is called countable if there exists a bijection from (natural numbers) to .