Let a graded module have a multiplication and a co-multiplication . Then if and have the unity of as unity and is an algebra homomorphism, then is called a Hopf algebra.