Assertion: metric space's completion | /r/HasProperty | set $a$
Facets:
value: with such elements
type: OTHER
Source sentences:
text: Hence may (naively) define the completion to be the set $A$ together with such elements which we identify as those "to which some Cauchy sequence converges" - i.e. the elements we adjoin are the Cauchy sequences themselves.