Assertion: cauchy sequence | /r/HasProperty | convergent
Facets:
value: in any metric space
type: OTHER
value: given any real number
type: OTHER
value: with the same 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