En el primer caso (formula_41, o equivalentemente, formula_42) se dirá que el elemento formula_7 es trascendente sobre formula_4 y que formula_28 es una extensión trascendente sobre formula_4.