Assertion: metric space's completion | /r/HasProperty | metric space
Facets:
Source sentences:
text: The completion of $X$ therefore is the metric space $\bar X$, that contains all elements of $X$, plus the limits of all possible cauchy sequences in $X$ equipped with the same metric as $X$.