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