Cada cuerpo "F" tiene una «clausura algebraica», que es el cuerpo algebraicamente cerrado más pequeño del cual "F" es un subcuerpo.