Neighborhood in Metric Space has Subset Neighborhood

Theorem
Let $M = \left({A, d}\right)$ be a metric space.

Let $a \in A$ be a point in $M$. Let $N$ be a neighborhood of $a$ in $M$.

Then there exists a neighborhood $N'$ of $a$ such that:
 * $(1): \quad N' \subseteq N$
 * $(2): \quad N'$ is a neighborhood of each of its points.

Proof
By definition of neighborhood:


 * $\exists \epsilon \in \R_{>0}: B_\epsilon \left({a}\right) \subseteq N$

By Open Ball is Neighborhood of all Points Inside, $N' = B_\epsilon \left({a}\right)$ fulfils the conditions of the statement.