Lattice-ordered permutation group
= Lattice-ordered permutation group
A <group> of <order automorphisms> of a <totally ordered set> that is closed under pointwise <maximum> and <minimum>. Products act on the right when writing $\alpha f$; then $\alpha(fg)=(\alpha f)g$. The pointwise lattice operations make it a <lattice-ordered group>.