Describir: Ordered permutation groups