2014-02-02
558
Функцией называется любое функциональное соответствие между двумя множествами. Если функция 
устанавливает соответствие между множествами А и В, то говорят, что функция имеет вид 
(обозначение 
). Каждому элементу 
из своей области определения функция ставит в соответствие единственный элемент 
из области значений. Это записывается в традиционной форме 
. Элемент называется аргументом функции, элемент – её значением.
Полностью определённая функция называется отображением А в В; образ множества А при отображении обозначается 
. Если при этом 
, то есть соответствие сюръективно, говорят, что имеется отображение А на В.
Если состоит из единственного элемента, то называется функцией-константой.
Отображение типа 
называется преобразованием множества А.
