En geometría algebraica, una variedad algebraica es esencialmente un conjunto de puntos (finito o infinito) en los cuales un polinomio (de una o más variables) toma un valor cero, o en el cual un conjunto de tales polinomios toma un valor cero.