Let be a field and a subset of such that with the inherited operations from is also a field. Then we say that is a subfield of .
The name “subfield” is used also in the case that is only a skew field and its subset forms a skew field.