Sea formula_44 un anillo conmutativo con identidad y sea formula_247 formula_159 es un superanillo de formula_44 y cada uno de sus elementos permuta con los elementos de formula_49 Por lo que podemos evaluar cada polinomio en formula_154 en un elemento formula_85 de formula_212 o sea en otro polinomio, digamos, formula_17 de formula_171 El resultado se dice que es la sustitución de la indeterminada o variable formula_125 por formula_257