An absorbing element for an operation ⋅ : A × A → A \cdot:A\times A\to A is some 0 : x : 0 𝑥 0:x with