Представление отношений диаграммами

Пусть r Í А B. Это отношение между элементами множеств А и B. Если множества A и B счетные, то их можно представить на плоскости множествами точек из двух непересекающихся областей, обозначаемых как A и B. Если (a, b) r, то точки, соответствующие a и b, соединяются ориентированной дугой. Такое представление аналогично диаграммам для отображений. При этом для диаграмм отношений допускается как многозначность связи элементов A с элементами B, так и отсутствие связей.

В случаях, когда в отношение входит много пар из А ´ B, или отношение обладает специальными свойствами изображение диаграммы отношения становится сложным для понимания. Поэтому могут применяться специальные правила уменьшения числа отображаемых связей. Например, в некоторых случаях не отображаются связи между элементами, для которых существует возможность связывания соответствующих им вершин с помощью последовательности уже изображенных дуг, проходящих через другие вершины.