单位元(英文常写作identity)是集合里的一种特别的元，与该集合里的二元运算有关。当它和其他元素结合时，并不会改变那些元素。
若a＊e=a，e称为右单位元；若e＊a=a，e称为左单位元。若该演算左右的元素能互换，左、右单位元相同，可称为双边单位元。
例子
(s,*)表示的东西
当中的单位元
实数加法
0
n乘n的矩阵的加法
零矩阵
n乘n的矩阵的乘法
单位矩阵
幂
1（右单位元）
若s只有两个元（e和f），运算＊定义为e＊e=f＊e=e和f＊f=e＊f=f，那黱e和f都是左单位元，但没有右单位元或双边单位元。 |