Si R es un anillo,formula_39 ser el anillo polinomial no conmutativo sobre R en las variables formula_40 y I el ideal de dos caras generado por los elementos formula_41para todos formula_42 donde formula_43 es Kronecker delta, entonces el anillo de operadores diferenciales polinomiales multivariantes sobre R es el anillo cociente formula_44