extension field (
original
) (
raw
)
We usually denote K being an extension of F by F⊂K, F≤K, K/F or