Assertion: undirected graph | /r/HasAspect | finite number of vertices
Facets:
Source sentences:
text: finite A graph is finite if it has a finite number of vertices and a finite number of edges.