Assertion: graph's set | /r/HasProperty | finite
Facets:
Source sentences:
text: Generally, the set of vertices V is supposed to be finite; this implies that the set of edges is also finite.
text: The Verticies are drawn from some underlying type, and the set may be finite or infinite.
text: A finite graph is a graph in which the vertex set and the edge set are finite sets.