\begin{definition}[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$.
Category:Definitions/Field Theory
\end{definition}