If a subset S has elements from a field F that satisfies the same field axioms with the same operations, then S is called a subfield of F.