A Field is said to be a field extension of field if is a Subfield of . This is denoted (note that this Notation conflicts with that of a Quotient Group). The Complex Numbers are a field extension of the Real Numbers, and the Real Numbers are a field extension of the Rational Numbers.
See also Field