Subfield

If a subset ${\displaystyle S}$ has elements from a field ${\displaystyle F}$ that satisfies the same field axioms with the same operations, then ${\displaystyle S}$ is called a subfield of ${\displaystyle F}$.^[1]