任意のxで

ex = xe = xをみたすようなeのことを単位元という

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