Функция

Функцией называется функциональное соответствие между множествами А и В, и обозначается f, или f: A → В, или f(a) = b. Причем, а называется аргументом функции, а b – значением функции.

Определение функции можно сформулировать, используя понятие бинарного отношения:

Бинарное отношение f называется функцией, если из и следует, что y = z.