Let $F$ be a field and $S$ a subset of $F$ such that $S$ with the inherited operations from $F$ is also a field. Then we say that $S$ is a subfield of $F$ .

The name ``subfield'' is used also in the case that $F$ is only a skew field and its subset $S$ forms a skew field.