A pseudograph is a graph that allows both parallel edges and loops. Formally, is a pseudograph , if is a multiset where is the set of unordered pairs of .