Прообраз множества в математике — это множество всех элементов области определения, которые отображаются в элементы заданного подмножества. 23

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

Таким образом, прообраз — это обратный образ, а образ — это результат преобразования элементов одного множества в элементы другого. 12

Например, при отображении множества А в множество B элементы x множества A называются прообразами, а элементы y множества B — образами. 1