Assertion: metric space | /r/HasProperty | cauchy-precompact
Facets:
value: in mathematical analysis
type: OTHER
Source sentences:
text: A metric space is said to be Cauchy-precompact if every sequence admits a Cauchy subsequence.
text: In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M or, alternatively, if every Cauchy sequence in M converges in M.