A pair of fields F and K, where the base field F is a subfield of K. Importantly, K is a vector space over F, and the degree of the extension is defined as the dimension of K as such a vector space. For example, ℂ is a degree 2 extension of ℝ as {1, i} is a basis. See simple extension, tower law.