An algebraic structure is graded by some set , typically a monoid,
if it is the direct sum of subalgebras indexed by which are in some way invariant.
In addition there may be some law governing the grade of the product of elements of different grades,
A homomorphism of such structures is called graded or grade-preserving iff it maintains the grade of elements.