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