Графом называется пара $\Gamma=(V, E)$ из конечного множества вершин $V$ и множества рёбер $E$, элементами которого являются (неупорядоченные) пары вершин графа $\Gamma$.