 Antipode

The convolution inverse $S$ of the identity on a bialgebra: $m(S\otimes 1)\Delta =j\epsilon =m(1\otimes S)\Delta$. Existence makes the bialgebra a Hopf algebra; $S$ reverses multiplication.