A graph
- a nonempty set
of vertices - a set
of edges,
where each edge is associated with a set consisting of either one or two vertices called its endpoints.
A graph
where each edge is associated with a set consisting of either one or two vertices called its endpoints.