Field extension/Definition

A field containing a given field as a subfield.