A graph is an ordered pair of sets and
where and .
The set is called the set of vertices.
The set is called the set of edges.