Прообраз - это элемент множества, который посредством функции или отношения соответствует другому элементу из другого множества. В математике прообраз является элементом, который при отображении переходит в заданный элемент в другом множестве.