Конечное множество вершин (vertex), соединенных ребрами (edge). Вершины и ребра - элементы Г.., число вершин называется порядком графа (graph order). Таким образом, вершины Г.- объекты, ребра - связи между объектами. Г. называется пустым (empty graph), если он не имеет ребер. Две вершины называются смежными (adjacent graphs), если они соединены ребром; два ребра смежны, если они имеют общую вершину. Г. называется ориентированным (oriented graph), если каждое ребро имеет определенное направление. Ребра такого Г. называются дугами (arc). Г. называется связным (connected graph), если любые две его вершины соединены маршрутом (route). Формализмы теории Г. нашли применение в ГИС в части анализа сетей.