Un elemento formula_4 ∈ formula_1 se llama "raíz" de multiplicidad "formula_6" de formula_2 si existe un polinomio formula_8 tal que formula_9 ≠ formula_10 y formula_2 = formula_12.