Totally real number field
This article defines a field property: a property that can be evaluated to true/false for any field.
View a complete list of field properties|View a complete list of field extension properties
Definition
A totally real number field is a number field such that any subfield of the field of complex numbers isomorphic to it is contained in the field of real numbers.