In matematica, lo stesso che omomorfismo suriettivo: omomorfismo tra due insiemi A e A′, in cui l’immagine di A coincide con A′ (➔ omomorfismo).