Assertion: sequence's number | /r/HasProperty | complete
Facets:
value: under the metric
type: OTHER
Source sentences:
text: The real numbers are complete under the metric induced by the usual absolute value, and one of the standard constructions of the real numbers involves Cauchy sequences of rational numbers.