Closed Ball contains Smaller Open Ball

Theorem
Let $M = \struct{A, d}$ be a metric space.

Let $a \in A$.

Let $\epsilon, \delta \in \R_{\gt 0}$ such that $\epsilon \le \delta$.

Let $\map {B_\epsilon} a$ be the open ball centered on $a$ of radius $\epsilon$.

Let $\map {B^-_\delta} a$ be the closed ball centered on $a$ of radius $\delta$.

Then:
 * $\map {B_\epsilon} a \subseteq \map {B^-_\delta} a$

Proof
By definition of subset:
 * $\map {B_\epsilon} a \subseteq \map {B^-_\delta} a$