(n) :
(algebra) An element of an algebraic structure which when applied, in either order, to any other element via a binary operation yields the other element.
(n) :
(algebra) An element of an algebraic structure which when applied, in either order, to any other element via a binary operation yields the other element.