Define an extension field <i>E</i> of a field <i>F</i>.