Adjunction

If $a$ is an element of a Field $F$ over the Prime Field $P$, then the set of all Rational Functions of $a$ with Coefficients in $P$ is a Field derived from $P$ by adjunction of $a$.