Formally real 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 formally real field is a field in which is not a square.