Граф (G) - это набор из двух элементов (множеств) G={V,E}

V=пустому множеству - множество вершин графов, элементы этого множества - вершины графов

Е - множесвто ребер графов, каждое ребро представляет собой неупорядочную пару вершин даного графа