Единичный элемент

Единичный элемент (identity element), в теории множеств нек-рый элемент е из множества, обладающий таким св-вом, что а°е=е°а = а, где о есть нек-рая операция, а - любой элемент данного множества. Е.э. для множества действительных чисел относительно операции сложения - 0, а относительно операции умножения - 1. Если множество и операция на нем образуют группу, то должен существовать Е.э.