Assertion: metric space | /r/HasProperty | $m$
Facets:
Source sentences:
text: In general, $X$ is not dense in $I$ (e.g., if $X$ is a circle, $I$ is infinite dimensional), but $I$ is an essential extension of $X$; this means that a non-expansive mapping $f$ from $I$ to any metric space $M$ whose restriction to