Entonces "E"("x") se define como el subcuerpo más pequeño de "K" que contiene a "E" y a "x".