Definition:Finite Graph

A finite graph is a graph with a finite number of edges and a finite number of vertices.

Note that in a simple graph, a finite number of edges follows directly from a finite number of vertices.

In the case of a multigraph this may not apply, as there may be an infinite number of edges between two given vertices