Description: Show that an unordered pair is a valid edge in a multigraph. (Contributed by AV, 9-Mar-2021)