Función sobreyectiva
De Wikipedia, la enciclopedia libre
Una función es sobreyectiva (o suprayectiva, o epiyectiva, o suryectiva, o exhaustiva) cuando el recorrido cubre todo el conjunto de llegada. Es decir, todo elemento del conjunto de llegada (rango) es imagen de al menos un elemento del conjunto de partida (dominio).
Definición formal:
Sea la función 
Diremos que f es sobreyectiva, si y sólo si, para todo y є B, existe x є A tal que f(x) = y.
Es decir, la imagen de f es igual al Rango o codominio de la función
Im(f)=B
