Assertion: graph | /r/HasProperty | finite
Facets:
value: locally
type: LOCATION
Source sentences:
text: Most commonly in graph theory it is implied that the graphs discussed are finite.
text: Many sources assume that all graphs are finite without explicitly saying so.
text: A graph is locally finite if each vertex has a finite number of incident edges.
text: For instance, a graph is locally finite if all of its neighborhoods are finite.
text: Thus, a graph may be covered by a nested sequence of compact sets if and only if it is locally finite, having a finite number of edges at every vertex.