En general, si tenemos dos cuerpos formula_1 y formula_2 de forma que el segundo es extensión del primero, diremos que formula_3 es trascendente sobre formula_4 si no existe ningún polinomio formula_5 del que formula_6 es raíz (formula_7).