Assertion: cover | /r/HasProperty | finite
Facets:
value: locally
type: LOCATION
Source sentences:
text: A cover of X is said to be locally finite if every point of X has a neighborhood that intersects only finitely many sets in the cover.
text: A cover is point finite if it is locally finite, though the converse is not necessarily true.
text: A cover is point finite if it is locally finite, though the converse is not necessarily true.