An extension field $K$ of the field $F$ (denoted $K/F$) is a field such that $F$ is a subfield of $K$.