Sean "E" y "K" dos cuerpos con "E" un subcuerpo de "K" (es decir, un subconjunto de "K" que contiene 0 y 1, cerrado bajo las operaciones + y * de "K" y con sus propias operaciones definidas por restricción).