Понятия прообраза и образа в математике связаны через отображение. 12

Прообраз — это элемент множества, который является предшественником другого элемента при отображении. 24 Например, для любого элемента y из множества Y его прообразом будут такие x, что f(x)=y. 4

Образ — это элемент множества, который является результатом отображения прообраза. 24 Например, образ функции — это множество всех значений данной функции. 3

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

Также прообраз и образ могут быть определены для общих бинарных отношений, а не только функций. 3