An ordered field is an Ordered ring with the additional property that [-division] is possible, making it a field.
https://arbital.com/p/ordered_field
by Joe Zeng Aug 18 2016
An ordered ring with division.
An ordered field is an Ordered ring with the additional property that [-division] is possible, making it a field.