二項演算が定義されている集合に対して

ex=xe=xをみたすようなeのこと

だいたい、単位元の存在を集合に仮定することが多い