 Field embedding

A field embedding $L\to \Omega$ is an injective field homomorphism. A $K$-embedding fixes every element of the base field $K$.