Assertion: nonempty metric space | /r/HasProperty | viewed as pointed metric space
Facets:
Source sentences:
text: Note that a pointed metric space is just a nonempty metric space with attention drawn to its distinguished point, and that any nonempty metric space can be viewed as a pointed metric space.