bir a kumesinde bir * işlemine gore birim eleman varsa bu eleman tektir. ispatı nedir
a kümesinin e ve e′ gibi iki birimi olsun.e=e′ olduğunu göstermeliyiz.
e birim olduğundan e∗e′=e′∗e=e′...........(1)dir.
e′ birim olduğundan e∗e′=e′∗e=e...........(2)dir. (1),(2) den e=e′ olur.