Description: The set of edges of a simple graph is a subset of the set of unordered pairs of vertices. (Contributed by AV, 1-Jan-2020) (Revised by AV, 14-Oct-2020)