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.