The set of all open balls of a metric space are able to generate a topology and are a basis for that topology

For a metric space $(X,d)$ there is a topology which the metric induces on $x$ that is the topology of all sets which are open in the metric sense.

---

TODO: Proof that open sets in the metric space have the topological properties

---