Definition:Real Subfield

Definition
Let $\R$ be the field of real numbers.

Let $\GF$ be a subfield of $\R$.

We say that $\GF$ is a real subfield.