Математическая энциклопедия - функциональное отношение

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

О. А. Иванова.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985