Let $L|K$ be a finite extension and $K \subseteq E \subseteq L$ and $K \subseteq F \subseteq L$ two subextensions.
Then $L|E$ and $L|F$ are finite and $\bar{L}|E$ and $\bar{L}|F$ are algebraic extensions with $\bar{L}$ being the algebraic closure of $L|K$. From this then follows $\bar{E}=\bar{F}=\bar{L}$. (Why is that, btw?)
Is this only true, when all the extensions are finite?