1: \begin{definition}

2: A \emph{bialgebra} is a space $A$ that is simultaneously an algebra and a coalgebra such that the two structures relate according to one of the equivalent conditions of Theorem \ref{bial}.

3: \end{definition}

4: