[Функция]
(от лат. functio Ч осуществление, выполнение) аЧ соотнветствие между переменными величинами х и у, в результате которонго каждому значению величины х (независимой переменной, аргунменту) сопоставляется одно-единственное значение величины у (занвисимой переменной). Это соответствие записывается в виде выражения y=f(x). Такое соответствие может быть задано не только формулой, но и графиком или таблицей (примером такой таблицы может быть таблица логарифмов). Множество элементов некоторой Ф., подставляемых вместо х, называют областью ее определения, а множество элементов у некоторой Ф. называют областью ее значенний. Обобщением понятия одноместной Ф. является понятие многонместной Ф. (см.: Отношение). В логике большую роль играет понятие о пропозициональной Ф. (см.: Ф. пропозициональная, Ф. переменная, Отношение функциональное).
