As opposed to a multigraph, a simple graph is an undirected graph that has no loops and no more
than one edge between any two different vertices.
In a simple graph the edges of the graph form a set (rather than a multiset) and
each edge is a distinct pair of vertices. In a simple graph with