Totally ordered abelian group