Предикат функционального отношения есть просто

Определение 10

. Отношение

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

Если , то

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

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

Содержание раздела