Let
\begin{equation}
{F}\subseteq{K_i}\subseteq{E}
\end{equation}
for i = 1,...,r with E a finite extension of F and where the intermediate fields \begin{equation} K_i \end{equation}are each normal extensions of F for all i.
Define:
\begin{equation}
L = \{f(a_1,...,a_r) ...