Codominio de una función

El codominio de una función es el conjunto de valores del segundo conjunto, y, tales que existen valores del primer conjunto, x, tales que f(x) = y.

Si el codominio de una función, también llamado imagen de una función, es igual al segundo conjunto, entonces la función es sobreyectiva.

Referencias