En matemáticas, las funciones tienen propiedades específicas que determinan su comportamiento. Las funciones sobreyectivas son aquellas en las que el codominio coincide con el recorrido, asegurando que todos los elementos del codominio sean imágenes de algún elemento del dominio.