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

- бинарное отношение R на множестве А, удовлетворяющее соотношению [img: http://localhost:8080/file/052214-141.jpg] где [img: http://localhost:8080/file/052214-142.jpg] - диагональ множества А. Это означает, что из [img: http://localhost:8080/file/052214-144.jpg] и [img: http://localhost:8080/file/052214-143.jpg] следует, что b=с, т. с. каждому [img: http://localhost:8080/file/052214-145.jpg] стоящему на первом месте, соответствует не более одного [img: http://localhost:8080/file/052214-146.jpg] на втором месте в паре из R. Таким образом, отношение R определяет (быть может, не всюду определенную) функцию на множестве А. При выполнении соотношения [img: http://localhost:8080/file/052214-147.jpg] эта функция всюду определена и взаимно однозначна. О. А. Иванова.