# Definition:Subfield/Field

Let $\struct {F, +, \circ}$ be a field.
Let $K$ be a subset of $F$ such that $\struct {K, +, \circ}$ is also a field.
Then $\struct {K, +, \circ}$ is a subfield of $\struct {F, +, \circ}$.