I matematikk, spesifikt i algebraisk geometri er en eller en eller en en nullpunktsmengde til en mengde funksjoner. Mer presist, om vi lar betegne affint n-rom, og er en mengde funksjoner i polynomringen (for en kropp ), så er en algebraisk varietet definert ved mengden . En varietet er altså en mengde på formen .