Every Metric Space is a Topological Space

Heine-Borel Theorem