Assertion: cauchy sequence | /r/HasAspect | convergent subsequence
Facets:
value: with limit
type: OTHER
Source sentences:
text: In any metric space, a Cauchy sequence which has a convergent subsequence with limit s is itself convergent (with the same limit), since, given any real number