Intermediate field (source code)

= Intermediate field
{wiki}

For a field extension $L/K$, an intermediate field is a field $M$ satisfying $K\subseteq M\subseteq L$.