Definition 1.7

Definition 1.7:  If $$X$$ is a metric space, $$U \subseteq X$$ is open if for every $$x \in U$$ there is some $$\epsilon > 0$$ so that $$B(x,\epsilon) \subseteq U$$.