in the above definition a graph is understood to be a finite undirected simple graph