In einem ${\displaystyle {}\mathbb {N} }$-graduierten Ring ${\displaystyle {}R=\bigoplus _{d\geq 0}R_{d}}$ nennt man ${\displaystyle {}R_{+}=\bigoplus _{d\geq 1}R_{d}}$ das irrelevante Ideal.