Varietet, i matematik en mangfoldighed defineret ved polynomiale ligninger.