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**

- 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**.