Defines the identity morphism for an algebraic structure.