Defines an endomorphism of an algebraic structure.
The algebraic structure which is both the domain and codomain of the morphism
The function that takes an element from the structure and maps it to another element in the same structure
Defines an endomorphism of an algebraic structure.