Два графа G1 и G2 называются изоморфными, если существует взаимно однозначное соответствие между множествами их вершин, обладающее тем свойством, что число ребер, соединяющих любые две вершины в G1, равно число ребер, соединяющих соответствующие вершины в G2.
Из определения следует, что изоморфные графы можно одинаково изображать графически и отличаться они будут только метками вершин.
Изоморфизм графов есть отношение эквивалентности.
