Exercise 2, § 11

Show that in Definition 3 (no. 4), condition (3) (relative to graded bigebras) is equivalent to the following: the product $m: E \otimes E \to E$ is a morphism of the graded cogebra $E \otimes E$ into the graded cogebra $E$.