Definition 2.3.11.  Let M be a magma, z ∈ M. We define
z is an absorbing element of M
by:
z is an absorbing element of [M, ∗]  :⇔  z is an absorbing element for ∗  (M is a set, ∗ : M × M → M is an operation on M)
References.