Defines a homomorphism 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 function that takes an element from the first structure and maps it to the second structure
Defines a homomorphism between two algebraic structures.