En general, si tenemos dos cuerpos formula_17 y formula_18 de forma que el segundo es extensión del primero, diremos que formula_19 es algebraico sobre formula_20 si existe un polinomio formula_21 del que formula_22 es raíz (formula_23).