Соответствие, при котором каждому элементу множества А отвечает единственный элемент множества В, называется отображением множества А в множество В.
Соответствие, при котором каждому элементу множества А отвечает единственный элемент множества В и, кроме того, каждому элементу множества В отвечает хотя бы один элемент множества А, называется отображением множества А на множество В