is finite. • Set of all words using English letters… is an infinite set. It includes all the finite sequences of a,b, which by interpreting = 0, = 1 we get all the natural numbers written in binary (and a lot more). So there is a surjective function from this set to ℕ.