Допълнителното уточнение в същност не е вярно. За сюрективна функция $f: X\rightarrow Y$ е достатъчно да е изпълнено $\forall{y} \in Y,\hspace{0.5em} \exists{x} \in{X}: f(x)=y$
Сюрекция (наричана още сюрективна функция) е функция $f:A\rightarrow B$ такава, че всеки елемент в кодомейна $B$ е образ на поне един елемент в домейна $A$. С други думи, $\forall{b} \in{B}$, съществува поне един $a\in{A}$ такъв, че $f(a)=b$.
Примери:
Нека $f: \mathbb{Z} \rightarrow \mathbb{R}, \quad f(x)=2x$ не е сюрекция, защото $1\in{\mathbb{R}}: \nexists{x}\in{\mathbb{Z}} \rightarrow 2x=1$.
Но ако дефинираме $f: \mathbb{R} \rightarrow \mathbb{R}, \quad f(x)=2x$, тогава функцията е сюрекция, защото на всяко реално число съотвтства половината на това число в $\mathbb{R}$.
Сюрекцията е от категорията съответствия в която се срещат още инекция (еднозначно съответствие - на всеки уникален елемент от А съответства уникален елемент в Б, тоест няма два различни елемента от А, които да се изпращат към един и същи елемент в Б) и биекция (функция което е едновременно инекция и сюрекция между множества от една и съща мощност).
Credits:
Rosen, Kenneth H. Discrete Mathematics and Its Applications, 7th Edition, McGraw-Hill, 2012.
A function $f$ from a set $A$ to a set $B$ is called "onto" or "surjective" if and only if for every $b\in{B}$, there exists $a\in{A}$ such that $f(a)=b$.
[tex]\color{lightseagreen}\text{''Който никога не е правил грешка, никога не е опитвал нещо ново.''} \\
\hspace{21em}\text{(Алберт Айнщайн)}[/tex]