Функциональным соответствием, или
функцией, называют такое соответствие между двумя переменными, когда каждому значению одной переменной соответствует одно значение второй переменной.
Первую переменную называют
независимой, или
аргументом функции, а вторую -
зависимой, или
функцией от первой переменной. Все значения, которые принимает независимая переменная, образуют
область определения функции.
Записывают:

, где
x - аргумент,
y - функция. Область определения обозначают

или

.
Примеры
1)

;

- множество всех действительных чисел, кроме 3.
2)

;

- множество всех действительных чисел, не превышающих 2, потому что подкоренное выражение должно быть неотъемлемый.
Графиком функции называется множество всех точек координатной плоскости, абсциссы которых равны значениям аргумента, а ординаты - соответствующим значениям функции.