 Graded algebra

A graded algebra over a field $k$ is a $k$-algebra $A={⨁}_{n\ge 0}{A}_n$ whose multiplication satisfies $A_i{A}_j\subseteq A_{i+j}$.