Definition:Field Extension/Degree/Infinite

Definition
Let $E / F$ be a field extension.

$E / F$ is an infinite field extension its degree $\index E F$ is not finite.