Assertion: metric space | /r/HasProperty | $\bar x$
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$.