Assertion: real number | /r/HasProperty | hence a topological space
Facets:
value: hence also
type: DEGREE
Source sentences:
text: Under the usual (Euclidean) distance function d(x, y) = |x − y|, the real numbers are a metric space and hence also a topological space.