матем. множества на другое, при котором каждый элемент второго множества является образом хотя бы одного элемента первого множества, но обратное не обязательно.
Отображение <math>\varphi \colon A \rightarrow B</math> называется ''отображением на всё множество'' или ''сюръекцией'', если для каждого элемента <math>b \in B</math> найдётся такой элемент <math>a \in A</math>, что <math>(a) \varphi = b</math>.