Definition 1.6.10.  Let X, Y be sets, :X × Y → Y be an operation, z ∈ Y. We define:
z is a right absorbing element for   :⇔  ∀ a ∈ X : az = z
References.