Функция - это такое бинарное отношение f, которое каждому элементу xиз множества X ставит в соответствие один и только один элемент y из множества Y, то есть, выполняется xfy.
Например, функцией будут отношения между фамилией студента и номером группы, между результатами сессии и размером стипендии.
Отношение "<" функцией не является, так как для каждого числа можно указать много превышающих его чисел. Функцией не будет и отношение "быть братом", поскольку человек может иметь много братьев, а может не иметь их совсем.
