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

Определение 10. Отношение

на декартовом произведении двух множеств

называется функциональным отношением, если оно обладает следующим свойством:

Если

, то

(однозначность функции).

Обычно, функциональное отношение обозначают в виде функциональной зависимости -

тогда и только тогда, когда

. Функциональные отношения (подмножества декартового произведения!) называют иначе графиком функции или графиком функциональной зависимости.

Предикат функционального отношения есть просто выражение функциональной зависимости