2) 
, т. е. 
.
Связанные с данным определением понятия инъективности и сюръективности приводят к точному пониманию обратной функции, композиции функций. Однако логический подход квалифицируется как абстрактный, не свойственный математическому анализу и в методике почти не исследуется.
3. Аналитического соответствия – понятие функции как числовой, представленной в определенной аналитической зависимости.
Соответствие f, при котором элементу х из множества Х соответствует один и только один элемент 
, называется функцией.
Данный подход выбран в методике обучения математике в качестве базового не потому, что он легче в восприятии или более нагляден. Главной задачей изучения выступает Исследование аналитической формы соответствия: 
и т. д. Множества Х и Y при этом уже не фигурируют, а свойства соответствия вытекают из аналитической формулы.
Приоритет в методике обучения математике понятию Функции как числового аналитического соответствия, исследованию свойств функции по аналитической форме ее записи является важным фактором функционально – графической культуры учащихся, однако далеко не полным и в теоретическом плане не полностью оправданным.
Подход “аналитического соответствия” в функциональной линии определил следующую систему ее содержательно – методических целей:
— Введение системы классов элементарных функций, обладающих общим спектром свойств, единых методов исследования;
— Формализация свойств монотонности, четности, периодичности с целью их идентификации в классах функций, визуальным графическим представлением;
— Интеграция содержательной математической деятельности учащихся (решение уравнений, неравенств, систем, выполнение тождественных преобразований) на функционально – графической основе;