Сюръекция

сущ.

1. матем. отображение одного множества на другое, при котором каждый элемент второго множества является образом хотя бы одного элемента первого множества, но обратное не обязательно«Отображение φ:A→B называется отображением на всё множество или сюръекцией, если для каждого элемента b∈B найдётся такой элемент a∈A, что (a)φ=b.» Л. А. Калужнин, В. И. Сущанский, «Преобразования и перестановки», 1985 г.

Происхождение. Происходит от франц. sur «на, над» и лат. jactio «бросаю». Введено в трудах французского коллективного автора Николя Бурбаки в середине XX в.