ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F10439 on R244: Convergent sequence is Cauchy
F10439
Formulation 1
Let $M = (X, \mathcal{T}_d, d)$ be a D1107: Metric space such that
(i) $\textsf{Convergent}(M)$ is the D2505: Set of convergent sequences in $M$
(ii) $\textsf{Cauchy}(M)$ is the D724: Set of Cauchy sequences in $M$
Then \begin{equation} \textsf{Convergent}(M) \subseteq \textsf{Cauchy}(M) \end{equation}