Definition:Field Extension/Degree/Finite

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

$E / F$ is a finite field extension its degree $\left[{E : F}\right]$ is finite.