n. a structure (group, field, vector space, etc.) endowed with an ordering that preserves the underlying operations. Thus an ordered field is a field together with an order that is such that fora < b and any c, one has a+ c < b + c, and for a < b and any 0 < c one has ac < bc.