Definição

Um multigrafo é um par $(V,E)$ de conjuntos disjuntos (de vértices e arestas) junto com um mapa $E \to V \cup [V]^2$ atribuindo a cada aresta um ou dois vértices, suas extremidades. Assim, multigrafos também podem ter laços e arestas múltiplas: podemos pensar em um multigrafo como um grafo direcionado cujas direções de arestas foram “esquecidas”.