An UndirectedGraph is a DataStructure containing a vertex set V and an edge set E, where each edge is an unordered pair of vertices.
Variants of this data structure:
Definition: http://www.nist.gov/dads/HTML/undirectgraf.html
CategoryDataStructure