Un cuerpo "L" es una extensión de "K" si "K" es un subcuerpo de "L", es decir si ("L",+,·) es un cuerpo y ("K",+,·) es un cuerpo con la restricción a "K" de las operaciones + y · en "L".