Sia f un omomorfismo di anelli da A a B; l’immagine di f,
indicata con Im(f), č definita nel modo seguente:
Im(f) = {f(a)/ a elemento di A}.