( * ) ikili işlemine göre e özdeşlik elemanı bulunan bir x kümesinin ele alalım. bu kümeye ait a elemanı için
( a * b ) = ( b * a ) = e bağıntısını gerçekleyen x kümesinin elemanı b varsa buna a'nın tersi denir.işlem asosiyatif ise ters elemanın var ise tek olduğu gösterilebilir.
