A description of the topology of a graph.
Lists each Edge of the graph.
en.wikipedia.org/wiki/Edge_list
typedef EdgeList = Set<Edge>;