2. Mat.

Bi egitura aljebraikoren arteko homomorfismo bijektiboa, hau da, bi egitura aljebraikoren arteko funtzioa, egituren ezaugarriak aldatzen ez dituena, eta bana-banakoa dena.