\begin{definition}[Definition:Field Extension/Degree/Infinite]
Let $E / F$ be a field extension.
$E / F$ is an '''infinite field extension''' {{iff}} its degree $\index E F$ is not finite.
Category:Definitions/Field Extensions
\end{definition}