Defines an isomorphism between two algebraic structures.
The first algebraic structure which is the domain of the morphism
The second algebraic structure which is the codomain of the morphism
The bijective function that takes an element from the first structure and maps it to the second structure
Defines an isomorphism between two algebraic structures.