neutral element

Neutral element

$$\exists e\in A:\forall x\in A:x\circ e=e\circ x=x$$

$(A,\circ )$ has at most one neutral element.

Proof: Let $e_1,e_1$ be neutral elements. Then $e_1=e_1\circ e_2=e_2$