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