  A natural topology on the space of left orderings of an arbitrary semi-group
is introduced. It is proved that this space is compact and that for free
abelian groups it is homeomorphic to the Cantor set. An application of this
result is a new proof of the existence of universal Grobner bases.
