En general, el conjunto imagen siempre es un subconjunto del codominio, y cuando el rango coincide con el codominio se dice que la función es sobreyectiva o suprayectiva.