Se dice que formula_20 es subcuerpo de formula_21 o que formula_21 es extensión de formula_20 si se cumple que formula_24 es un cuerpo cuando las operaciones formula_25 y formula_26 se restringen a formula_20.