Функция -- правило, по которому элементу из одного множества $X$ ставится в соответствие конкретный (единственный) элемент из другого множества $Y$.
При этом множества $X$ и $Y$ могут совпадать, т.е. по сути являться одним и тем же множеством.
Синонимы понятия "функция"