En álgebra , se dice que un anillo noetheriano conmutativo A tiene la propiedad de aproximación con respecto a un ideal I si cada sistema finito de ecuaciones polinómicas con coeficientes en A tiene solución en A si y sólo si tiene solución en el I -ádico finalización de A. _ [1] [2] La noción de la propiedad de aproximación se debe a Michael Artin .