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