Определение

Единичный элемент - элемент $e \in X$ относительно рассматриваемой операции, если:
$$e*x=x*e=x \text{ } \forall x \in X$$