\begin{definition}[Definition:Graded Ring]
Let $M$ be a semigroup.
An '''$M$-graded ring''' is a pair $\struct {R, f}$ where:
:$R$ is a ring
:$f$ is a gradation of type $M$ on the additive group of $R$ which is compatible with the ring structure of $R$.
\end{definition}