Definition:Real Subfield

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

A field $\GF$ is a real subfield $\GF$ is a subfield of $\R$.