Por otra parte, el conjunto de todos los resultados posibles de una función dada se denomina codominio de esa función.