Если каждому значению х числового множества X по правилу f соответствует единственное число множества Y, то говорят, что на числовом множестве X задана функция у = f(x), значения х определяются множеством значений, входящих в область определения функции (Х). Это и есть определение.