Graded (differential) Lie algebras and Hopf algebras

This section introduces graded Lie algebras together with associated constructions such as the universal enveloping algebra. The main example for us is the rational homotopy Lie algebra of a topological space, defined in (c), whose universal enveloping algebra is the loop space homology algebra.