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.