Published online by Cambridge University Press: 20 November 2018
A group g is called right-orderable (or an ro-group) if there exists an order relation ≦ on g such that a ≦ b implies ac ≦ be for all a, b, c in g. this is equivalent to the existence of a subsemigroup p of g such that p ⋂ p-1 = ﹛e﹜ and p ⋃ p-1 = g. given the order relation ≦, p can be taken to be the set of positive elements and conversely, given p, define a ≦ b if and only if ba-1ϵ p. a group g together with a given right-order relation on g is called right-ordered.