Subfield

PROP-SF-A.

Let $(F,+,\cdot,0,1)$ be a field. $K$ is a subfield of $F$ as soon as

1. $K$ is a subring;
2. $a^{-1}\in K$ for all $a\in K^*$.