Sobreyección (función sobreyectiva o sobre)

Se les llama así a las funciones cuyo conjunto imagen (rango) es todo el codominio. Es decir, para cada $y$ del codominio, existe un $x$ en el dominio tal que $f(x)=y$