Ordered groups

the absence of infinitesimals in a mathematical system

field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed

ring with a compatible total order

group with a compatible partial order

group with translationally invariant total order

vector space with a partial order

partially ordered vector space, ordered as a lattice

field that can be equipped with an ordering