Теорема о сурьекциях

Отображение называется сюръективным (или сюръекцией, или отображением на Y), если каждый элемент множества Y является образом хотя бы одного элемента множества X, то есть . Для случая числовых функций это выражается как «функция, принимающая все возможные значения». Пример. — сюръективно.