La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Aplicación sobreyectiva
Artículo de la Enciclopedia Libre Universal en Español.
Se dice que una aplicación:
- f: A → B
es sobreyectiva (o una sobreyección o sencillamente "sobre") si ocurre que todos los elementos de B son imágenes de elementos de A. Es decir, no se puede encontrar ningún elemento en el conjunto imagen que no tenga origen.
Los homomorfismos sobreyectivos se llaman epimorfismos.
Véase también la noción dual de aplicación inyectiva.