образ

Образ функции — это множество всех значений, которые даёт функция. В более общем виде, вычисление значения заданной функции для каждого элемента заданного подмножества области определения функции даёт множество, называемое «образом для функции ». Аналогично, обратный образ (или прообраз) заданного подмножества кодомена функции — это множество всех элементов области определения, которые отображаются в элементы множества . Образ и обратный образ могут также быть определены для общих бинарных отношений, а не только функций.