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