 Order-primitive lattice permutation group

A transitive lattice-ordered permutation group is order-primitive when its only invariant equivalence relations with convex classes are equality and the universal relation. This concerns convex blocks in a chain, rather than arbitrary blocks of a primitive group action.