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