Нейтральний елемент
Матеріал з Вікіпедії — вільної енциклопедії.
Нейтра́льний елеме́нт e для бінарної операції «•» — це елемент із властивістю x • e = e • x = x для всіх елементів x.
Іноді розрізняють нейтральний зліва елемент el, для якого el • x = x для всіх елементів x, і нейтральний справа елемент er, для якого x • er = x для всіх елементів x. В загальному випадку нейтральний зліва і нейтральний справа елементи можуть не збігатися чи не існувати.