Una extensión formula_26 se dice que es trascendente si existe algún elemento formula_34 que sea trascendente sobre formula_14.