Dado un cuerpo formula_8 y una extensión formula_9, se dice que un elemento formula_10 es algebraico sobre formula_8 si y sólo si existe un polinomio formula_12, que pertenece al anillo de polinomios con coeficientes en formula_8, tal que formula_14.