Totally real number field

In number theory, a number field F is called totally real if for each embedding of F into the complex numbers the image lies inside the real numbers. Equivalent conditions are that F is generated over Q by one root of an integer polynomial P, all of the roots of P being real; or that the tensor product algebra of F with the real field, over Q, is isomorphic to a tensor power of R.

This keyword could refer to multiple things. Here are some suggestions: