が上の双代数(bialgebra)であるとは,以下の性質を満たすことをいう: