Una varietà proiettiva X {\displaystyle X} è l'insieme dei punti di uno spazio proiettivo n {\displaystyle n} -dimensionale P K n {\displaystyle \mathbb {P} _{\mathbb {K} }^{n}} che annullano simultaneamente una data famiglia di polinomi omogenei { F λ } λ ∈ Λ {\displaystyle \{F_{\lambda }\}_{\lambda \in \Lambda }} di K [ x 0, …, x n ] {\displaystyle \mathbb {K} [x_{0},\dots,x_{n}]}, ossia X := { x ∈ P n ∣ F λ = 0, ∀ λ ∈ Λ }. Wikipedia