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.