formally real field

field that can be equipped with an ordering

Categories: