Defines the identity morphism for an algebraic structure.
The algebraic structure which is the domain and codomain of the morphism
Defines the identity morphism for an algebraic structure.