Em matemática, o conjunto imagem (conhecido também como campo de valores) de uma função  é um subconjunto do contradomínio formado pelos valores que uma função pode chegar a tomar. É representado por ou e é definida por:

Em uma função qualquer, se o seu contradomínio é igual ao seu conjunto imagem, diz-se que esta função é sobrejetora.