Множество X имеет отображение (функцию) f на множестве Y, если каждому элементу множества X, по правилу f, сопоставляется единственный элемент множества Y.