Zoran Skoda neutralni element

Neka je $S$ skup. Svaka funkcija $S\times S\to S$ može se zvati binarnom algebarskom operacijom na skupu $S$. Neka je $\bullet$ jedna takva operacija. Tada često umjesto $\bullet(s,t)$ koristimo i algebarsku notaciju $s\bullet t$ za vrijednost funkcije $\bullet$ na paru $(s,t)\in S\times S$. Element $e\in S$ je lijevi neutralni element u odnosu na operaciju $\bullet$ ako vrijedi $e \bullet s = s$ za svaki $s\in S$, desni neutralni element ako $s\bullet e = s$ za svaki $s\in S$ i obostrani neutralni element ili naprosto neutralni element (za operaciju $\bullet$) ako je ujedno i lijevi i desni neutralni element u odnosu na operaciju $\bullet$.