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}