Una función es sobreyectiva si esta apicada sobre todo el codominio, es decir, cuando cada elemento de es la imagen de como mínimo un elemento de .