# Definition:Embedding (Galois Theory)

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