【离散数学】么元、左么元和右么元的定义（幺元、单位元）

么元（也称作单位元、幺元）：是集合里面一种特殊的元。
当它和其他元素结合时，并不会改变那些元素。
若a*e=a，e称为右么元；
若e*a=a，e称为左么元；
若a*e=e*a=a，则e称为么元。