Her ``a`` ``A`` için öyle bir ``e`` ``A`` vardır ki ``ea=ae=a``.
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.