Сюръекция

Сюръективное отображение, отображение «на»

Это функция, принимающая все возможные значения, такая что, для каждого элемента из области значений существует хотя бы один элемент из области определения
$$\forall y \in Y \ \exists x \in X:y=f(x)$$
Область значений функции (множество образов) эквивалентна области прибытия функции
$$f(X)=Y \quad E(f) \equiv \mathrm{cod} \ f$$