A graded differential algebra is a graded algebra
together with a derivation
satisifying
and
where |α||\alpha| is the degree of α\alpha, i.e.