extension field We say that a field K is an extension of F if F is a subfield of K. We usually denote K being an extension of F by F⊂K, F≤K, K/F or