Графы $\Gamma_1$ и $\Gamma_2$ называются изоморфными, если существует такая биекция $f\colon V(\Gamma_1)\to V(\Gamma_2)$, что вершины $A$ и $B$ графа $\Gamma_1$ соединены ребром тогда и только тогда, когда вершины $f(A)$ и $f(B)$ соединены ребром в графе $\Gamma_2$.