матем.отображение одного множества на другое, при котором каждый элемент второго множества является образом хотя бы одного элемента первого множества, но обратное не обязательно ◆ Отображение называется отображением на всё множество или сюръекцией, если для каждого элемента найдётся такой элемент , что . Л. А. Калужнин, В. И. Сущанский, «Преобразования и перестановки», 1985 г.