Cuando formula_4 es un extensión de formula_5 y formula_10 es un cuerpo tal que formula_11, decimos que formula_10 es un cuerpo intermedio entre formula_5 y formula_4.