Subfield

Definition

If (K,+,×) is a field and FK is also a field using the same definition of + and ×, then F is called a subfield of K.

If F is a subfield of K then K is called an extension field of F.