Кінцева множина вершин, з'єднаних ребрами. Вершини та ребра - елементи Г.; кількість вершин називається порядком Г. Таким чином, вершини Г. - об'єкти, ребра - зв'язки між об'єктами. Г. називається пустим, якщо він не має ребер. Дві вершини називаються суміжними, якщо вони з'єднані ребром; два ребра суміжні, якщо вони мають спільну вершину. Г. називається орієнтованим, якщо кожне ребро має певний напрямок. Ребра такого Г. називають дугами. Г. називається зв'язаним, якщо будь-які дві його вершини з'єднані маршрутом. Формалізми теорії Г. застосовуються в ГІС в частині аналізу мереж.