linearly ordered group