Un grafo está determinado por dos conjuntos finitos, uno de vértices y otro de aristas, los cuales llamaremos normalmente formula_1 y formula_2 respectivamente.