Неориентированным графом называется тройка (I,D,G), в которой I — непустое множество вершин, D — множество ребер и G — отображение, которое каждому ребру deD ставит в соответствие неупорядоченную пару вершин [г, /], где /, /е/.