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