Assertion: metric space's completion | /r/HasProperty | complete space
Facets:
Source sentences:
text: Every metric space has a unique (up to isometry) completion, which is a complete space that contains the given space as a dense subset.