====== Egységelem ======
Egy <m 10>(H,circ)</m> [[strukturak|struktúrában]] //e// **egységelem**, vagy **neutrális** elem <m>e</m>, ha 
<m 10>forall a in H : a circ e=e circ a=a</m>

**Megjegyzés:**
Ha csak <m 10>e circ a=a</m>, akkor //e//-t **balegység**nek, illetve <m 10>a circ e=a</m> esetén **jobbegység**nek nevezzük.