Interval orders, semiorders and ordered groups

Maurice Pouzet, Imed Zaguia

We prove that the order of an ordered group is an interval order if and only if it is a semiorder. Next, we prove that every semiorder is isomorphic to a collection $\mathcal{J}$ of…