In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field that contains the base field and satisfies additional properties. For instance, the set Q(√2) = {a + b√2 | a, b ∈ Q} is the smallest extension of Q that includes every real solution to the equation x2 = 2.
Let L be a field. A subfield of L is a subset K of L that is closed under the field operations of L and under taking inverses in L. In other words, K is a field with respect to the field operations inherited from L. The larger field L is then said to be an extension field of K. To simplify notation and terminology, one says that L / K (read as "L over K") is a field extension to signify that L is an extension field of K.
If L is an extension of F which is in turn an extension of K, then F is said to be an intermediate field (or intermediate extension or subextension) of the field extension L / K.