Describir: Ordered groups and infinite permutation groups