Определение

Сюръекция - такое отображение, что:
$$f: X\to Y, \text{ если } \forall y \in Y \exists x \in X: f(x)=y$$