A multigraph. A multigraph is a non-simple undirected graph in which no loops are permitted, but
multiple (parallel) edges between any two vertices are. If you're unsure about multigraphs, see:
http://mathworld.wolfram.com/Multigraph.html.