 Transitivity of algebraic extensions

If $L/K$ and $K/F$ are algebraic field extensions, then $L/F$ is algebraic. In particular, an element algebraic over an algebraic extension of $F$ is algebraic over $F$.

This is a closure property of algebraic extensions, not an alternative name for an extension.