En teoría de grafos, un isomorfismo entre dos grafos "G" y "H" es una biyección "f" entre los conjuntos de sus vértices formula_1 que preserva la relación de adyacencia.