of an algebraic structure