Dva grafy G(V,E) a G'(V',E') nazveme izomorfní, pokud existuje takové jednoznačné zobrazení f: V → V' , že platí: {x, y} Î E právě tehdy, když {f(x), f(y)} Î E'. Zobrazení f hovoříme izomorfizmus grafů G a G'.