Función sobreyectiva

Keywords: Función sobreyectiva, Conjunto, Función matemática

Una función se dice sobreyectiva, suprayectiva o exhaustiva cuando el recorrido cubre todo el conjunto de llegada. Es decir, todo elemento del conjunto de llegada (codominio) es imagen de al menos un elemento del conjunto de partida (dominio).

Definición formal:

Sea la función

f: A → B

Diremos que f es sobreyectiva, si y solo 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

Keywords: Función sobreyectiva, Conjunto, Función matemática