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