Definition of "CM-field" (Sorry for my bad English. )
In Wikipedia, "CM-field" is defined as follows;

A number field $K$ is a CM-field if it is a quadratic extension $K/F$ where the base field $F$ is totally real but $K$ is totally imaginary.

Now is $F$ contained in definition of "CM-field"?
In other words, when we say $K$ is CM-field, is $F$ designated?

Yes.

*

*The definition: $K$ doesn't have any real embedding and there is some subfield such that $[K:F]=2$ and every complex embedding sends $F$ to $\Bbb{R}$.


*$[K:F]=2$ gives that $K=F(\sqrt{a})$ for some $a\in F$. For each complex embedding $\sigma\in Hom_\Bbb{Q}(K,\Bbb{C})$ then $\sigma(K)=\sigma(F)(\sigma(\sqrt{a}))$.
$F$ is totally reals means that $\sigma(F)\subset \Bbb{R}$.
So the complex conjugaison acts on $\sigma(K)$ by sending $\sigma(\sqrt{a})$ to $\overline{\sigma(\sqrt{a})}$. Since also $a\in F$ it means that $ \overline{\sigma(\sqrt{a})}=-\sigma(\sqrt{a})$. Whence $\sigma(F) = \sigma(K)\cap \Bbb{R}$ and $$F=\sigma^{-1}(\sigma(K)\cap \Bbb{R})$$

*

*As you see $F$ doesn't depend on the chosen $\sigma$, its uniqueness is implied by the definition of CM-field, as well as that any complex conjugaison gives an automorphism of $K$, and that there is in fact only one complex conjugaison on $K$.

