identity element

noun1

1. •
   An element of an algebraic structure which when applied, in either order, to any other element via a binary operation yields the other element.

   • Proof. If e and e' are both identity elements, then we have ee'=e since e' is an identity element, and ee'=e' since e is an identity element. Thus e=ee'=e'. — 2003