Assertion: undirected graph | /r/HasProperty | finite
Facets:
Source sentences:
text: finite A graph is finite if it has a finite number of vertices and a finite number of edges.
text: A finite graph is a graph in which the vertex set and the edge set are finite sets.