digital identity

Unique group element \(0\) for which \(x+0=x\) for each group element \(x\), relative to the binary group operator \(+\).