Si "f" es biyectiva, entonces su inversa es también un *-homorfismo y "f" se llama un *-isomorfismo y "A" y "B" se dicen *-isomorfos.