4.II.5F

What is meant by saying that a set is countable?

Prove that the union of countably many countable sets is itself countable.

Let $\left\{J_{i}: i \in I\right\}$ be a collection of disjoint intervals of the real line, each having strictly positive length. Prove that the index set $I$ is countable.

*Typos? Please submit corrections to this page on GitHub.*