This result says that a sequence of points in a [metric subspace](/page/Metric%20Subspace) converges there exactly when it converges to the same point in the ambient [metric space](/page/Metric%20Space). It lets convergence arguments move between the subspace and the larger space without changing limits.