Assertion: real number | /r/CapableOf | inherit metric topology
Facets:
value: from the metric
type: OTHER
Source sentences:
text: Second, the real numbers inherit a metric topology from the metric defined above.