Assertion: metric space's completion | /r/CapableOf | involve isometry
Facets:
value: from m
type: LOCATION
value: into m
type: OTHER
Source sentences:
text: For instance, the completion of a metric space M involves an isometry from M into M', a quotient set of the space of Cauchy sequences on M.