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\subset K$, $F\le K$, $K/F$ or