Ordered 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.