Definition 1.6.6.  Let X, Y be sets, :X × Y → Y be an operation, e ∈ X. We define:
e is a left identity for   :⇔  ∀ a ∈ Y : ea = a
References.