Definition:Subfield/Field

Definition
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}$.