Assertion: real number | /r/HasProperty | the completion of q
Facets:
value: under the metric
type: OTHER
Source sentences:
text: The rational numbers do not form a complete metric space; the real numbers are the completion of Q under the metric d(x,y) = |x − y|, above.