Assertion: isometry's point | /r/HasAspect | compact neighborhood
Facets:
Source sentences:
text: A metric space is said to be locally compact if every point has a compact neighborhood.