Birim öğe

[iGrand]

Bir kümede herhangi bir öğeyle işleme girdiğinde aynı öğeyi verir. Genel olarak e ile gösterilir.
Her a

A için öyle bir e

A vardır ki ea=ae=a.ya da diger bir adiyla neutral Elemen denilebilir

Bu öğenin kümede biricik olduğu rahatlıkla gösterilebilir:
Diyelim bu koşulu sağlayan iki birim öğe var: e ve e' . Eğer bu ikisini işleme sokarsak, e=ee'=e'e=e' olduğu görülür.