A subgroupC is convex if c1≤g≤c2 with c1,c2∈C implies g∈C. In a linearly ordered group, convex subgroups form a chain under inclusion: positive elements witnessing incomparability would be comparable and force the smaller one into the other subgroup by convexity.