Ordered field

Written by Joe Zeng last updated

An ordered field is an ordered ring with the additional property that division is possible, making it a field.

Parents: