Imagen de una función

Sean dos conjuntos $A$ y $B$ y una aplicación definida entre ellos $f:A \longrightarrow B $ llamaremos imagen de $f$ a los elementos de $B$ que se puedan expresar como $f(a)$ siendo $a$ un elemento de $A$.

• La imagen se encuentra en $B$
• La imagen puede ser $B$
• Con una aplicación bien definida, los elementos de $B$ se pueden llamar $b_i$ o $f(a_j)$ todos los elementos que pertenezcan a la imagen, (hay que añadir que un elemento puede llamarse de más de una manera si la aplicación no es inyectiva).