Голосарій курсу

Граф $G_R$, який задає відношення $R$ на множині $A$, будують так.

Вершини графа позначають елементами цієї множини, а дуга $(a_i ,a_j)$ існує тоді й лише тоді, коли пара $(a_i ,a_j) \in R$ . Такий граф $G_R$ називають графом, асоційованим із відношенням $R$, або просто графом відношення $R$.