Se puede definir concisamente como un homomorfismo biyectivo tal que su inversa es también homomorfismo.