Definition 1.6.8.  Let X be a set, :X × X → X be an operation on X, e ∈ X. We define:
e is an identity for   :⇔  e is a left identity for  and e is a right identity for   ⇔  ∀ a ∈ X : ae = ea = a
Equivalence.  No proof.
References.