Esta operación es, además, compatible con el producto formula_9 del anillo formula_10 en el siguiente sentido: dados formula_11, se tiene que formula_12.