Formalmente, un grafo se define como formula_1, siendo V un conjunto cuyos elementos son los vértices del grafo y, E uno cuyos elementos son las aristas ("edges" en inglés), las cuales son pares (ordenados si el grafo es dirigido) de elementos en V.