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