Describir: Fully ordered groups,