Assertion: metric space's completion | /r/HasProperty | expansion
Facets:
Source sentences:
text: Completion of a space is an expansion that includes the limits of all Cauchy sequences, including the ones that do not converge.