Image d'une application

On appelle image d'une application f (de l'ensemble A vers l'ensemble B) le sous-ensemble de B noté Im f contenant toutes les images de tous les éléments de A et uniquement ces images : ${\text{Im}}\ f=\{y\in B:{\text{il}}\ {\text{existe}}\ x\in A\ {\text{tel}}\ {\text{que}}\ f(x)=y\}=\{f(x),\ x\in A\}$

Ex 1:l'image de f(x)=cos x dans R est [-1;1]