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