14.7. Definíció

Neutrális elem

Legyen adott egy halmaz és egy ezen értelmezett -gal jelölt kétváltozós művelet, valamint legyen az halmaz egy eleme.

Az elemet jobboldali neutrális elemnek nevezzük a műveletre nézve, amennyiben tetszőleges -beli elemre teljesül az alábbi:

Az elemet baloldali neutrális elemnek nevezzük a műveletre nézve, amennyiben tetszőleges -beli elemre teljesül az alábbi:

Ha egyszerre jobb- és baloldali neutrális elem, akkor őt kétoldali neutrális elemnek (vagy egyszerűen csak neutrális elemnek) nevezzük.

A szakirodalomban sok helyen találkozhatunk még a semleges elem, a nullelem, a zéruselem vagy az egységelem kifejezésekkel, valamint a illetve az jelölésekkel is. Kontextustól függően mi is felváltva fogjuk használni ezeket a fogalmakat és/vagy jelöléseket, ettől függetlenül ezek mind ugyanazt jelentik.