ГРАФ — Пара (X, R), где X - множество, элементы которого переименованы и называются вершинами; R - бинарное отношение, заданное на X. Если между вершинами x1 О X и x2 О X существует отношение R, то тройка x1 R x2 называется ребром Г. Если отношение R несимметрично, то x1 R x2 называется дугой Г.
Г. с ребрами называется неориентированным, а с дугами - ориентированным..
Г. находят широкое применение в моделях интеллекта искусственного..