Отображениям их множества Х в множество У (функцией) называется такое функциональное отношение, что для каждого элемента Х существует единственный элемент у множества У.
Элемент у0 єУ, соответствующий конкретному значению х0 єХ аргумента х называется образом элемента х0 при отображении f. Соответственно элемент х0 – прообраз элемента у0 (если у0=f(x0).
Пyсть f: X->Y; AcX. Образом множества АсХ наз. множество f(A)=