Formalmente, "un grafo" formula_1 es una pareja ordenada en la que formula_2 es un conjunto no vacío de vértices y formula_3 es un conjunto de aristas.