The arguments that we gave for Hilbert’s hotel show that the union of two countable sets is countable, since you can correspond one of them with even numbers and the other with odd numbers. The integers ℤ, for example, form a countable set, for they are the union of two countably infinite sets, the positive integers and the nonpositive integers.
