Exercise 9, § 3

Let K be a field, E an extension of K and S a subset of $E - K$. a) Show that the set of extensions $L \subset E$ of K such that $L \cap S = \varnothing$, ordered by inclusion, has a maximal element M. b) Show that if S is finite, E is an algebraic extension of M.