Definition 2.3.12.  Let M be a magma such that ∃ z ∈ M : z is an absorbing element of M. For m ∈ M, we define:
0M = m  :⇔  m is an absorbing element of M
Well-definedness.  No proof.
References.