En matemàtiques, un isomorfisme és un morfisme que admet un invers, que és també un morfisme.[1]
Conseqüentment, un isomorfisme és una bijecció, ja que les relacions algebraiques entre els elements del conjunt d'arribada són les mateixes que els seus antecedents respectius, i l'estructura algebraica es conserva.[2][3][4][5]