Es sei ${\displaystyle {}R}$ ein ${\displaystyle {}\mathbb {Z} }$-graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von ${\displaystyle {}R}$, die nicht ${\displaystyle {}R_{+}}$ umfassen, zusammen mit der Topologie, bei der die Teilmengen

${\displaystyle {}D_{+}{\left({\mathfrak {a}}\right)}={\left\{{\mathfrak {p}}\in \operatorname {Proj} {\left(R\right)}\mid {\mathfrak {a}}\not \subseteq {\mathfrak {p}}\right\}}\,}$

als offen erklärt werden, das projektive Spektrum von ${\displaystyle {}R}$.