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