Equivalence of Definitions of Convergent Sequence in Metric Space

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

Let $\sequence {x_k}$ be a sequence in $A$.