Finite Graph

Definition

Finite Graph

A graph $G=(V,E)$ is finite when both its vertex set $V$ and edge set $E$ are finite sets:

$$|V|<\infty \text{and}|E|<\infty .$$

Thus $G$ has finitely many vertices and finitely many edges.