In abstract algebra a subfield is a subset of a field which, together with the additive and multiplicative operators restricted to it, is a field in its own right. If K is a subfield of L, then L is said to be a field extension of K: see the latter article.