738
Определение 10. Отношение 
на декартовом произведении двух множеств 
называется функциональным отношением, если оно обладает следующим свойством:
- Если
и 
, то 
(однозначность функции).
Обычно, функциональное отношение обозначают в виде функциональной зависимости - тогда и только тогда, когда 
. Функциональные отношения (подмножества декартового произведения!) называют иначе графиком функции или графиком функциональной зависимости.
Предикат функционального отношения есть просто выражение функциональной зависимости .
