Bialgebra
= Bialgebra
{title2=$(H,m,j,\Delta,\varepsilon)$}
{wiki}
An <algebra over a commutative ring> that is also a <coalgebra>, whose <comultiplication> and <counit> preserve the multiplication and unit. Equivalently it is a <bimonoid> in $k$-modules.