Assertion: metric space's completion | /r/MadeOf | given space
Facets:
value: as a dense subset
type: OTHER
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.