Assertion: metric space's completion | /r/HasProperty | unique up to isometry
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.