[[Imagem:SurjectionInjection.svg|frame|right|Exemplo de Imagem: A imagem do [[conjunto]] X é o [[conjunto]] Y{A, porque todos seus valores são imagem de algum do conjunto X. Imagens particulares dos valores: a imagen de 1 será D, a de 2 será B,D} aque deé 3 será C e a[[subconjunto]] de 4 será C tambémY.]]
[[Imagem:InjectionSurjection.svg|frame|right|Exemplo[[Função desobrejetora]]: SubconjuntoNeste imagem:caso, Subconjuntoa imagem de X (D,B,A) dentro do [[conjunto]] Y (aqui Y nãoX é imagemo de[[conjunto]] XY, porque nem todos seus valores sãoestão imagemassociados dea algum valor[[elemento]] do conjunto de X). Imagens particulares dos valores: A imagem de 1 será D, a de 2 será B, a de 3 será A, e C não é imagem de valor algum.]]
Em [[matemática]], o '''conjunto imagem''' (conhecido também como '''campo de valores''') de uma [[função]] <math>f \colon X \to Y</math> é um [[sub-conjuntosubconjunto]] do [[contra-domínio]] formado pelos valores que uma [[função]] pode chegar a tomar. É representado por <math>f(X)</math>, <math>\mbox{Im}(f)</math>, <math>\mbox{Im}_f</math> ou <math>\mbox{I}_f</math> e é definida por:
:<math>\mbox{Im}_f = \left\{y \in Y \; | \; y = f(x), \forall x \in X \right\}</math>
Em uma [[função]] qualquer, se o seu [[contra-domínio]] é igual ao seu conjunto imagem, diz-se que esta [[função]] é [[Função sobrejetora|sobrejetora]].