Функциональное отношение – отношение, определяемое следующим образом , , причем каждому первому элементу в паре соответствует не более одного второго элемента . Это значит, что в матрице функционального отношения в каждом столбце находятся не более одного элемента. Первый элемент в паре называется аргументом, второй – значением, а само отношение – функцией. Тогда множество Х называется областью определения, а У – областью значений.
Функциональное отношение задается также, как и другие виды отношений, то есть в виде соотношения ; перечислением всех пар, находящихся в данном отношении; с помощью матриц отношений; кроме того функциональное отношение можно записывать в форме функции .
Следует различать у как значение и как второй элемент.