Definition:Embedding (Galois Theory)

Definition
Let $K$ and $L$ be fields.

A (field) monomorphism $\phi: K \to L$ is called an embedding of $K$ in $L$.