Se puede decir que una aplicación sobreyectiva, es una aplicación que cumple la condición de existencia de origen.