Subfield
= Subfield
{wiki}
A subfield of a <field> $K$ is a subset containing the additive and multiplicative identities and closed under addition, subtraction, multiplication, and inversion of nonzero elements. It is itself a field under the operations inherited from $K$.