Функциональное Отношение

Бинарное отношение R на множестве А, удовлетворяющее соотношению где — диагональ множества А. Это означает, что из и следует, что b=с, т. с. каждому стоящему на первом месте, соответствует не более одного на втором месте в паре из R. Таким образом, отношение R определяет (быть может, не всюду определенную) функцию на множестве А. При выполнении соотношения эта функция всюду определена и взаимно однозначна. О. А. Иванова.